HOL Light Tutorial

3 comments

• cubefox 17 minutes ago

  HOL = higher-order logic

• brettermeier 2 hours ago

  Black font on dark gray background is a great choice for webdesign.

  [-]
  • saidnooneever a minute ago

    only a true webmaster will do it