HOL Light Tutorial

 (hol-light.github.io)

10 points | by stmonty 3 days ago

2 comments

  • cubefox 3 hours ago
    HOL = higher-order logic
  • brettermeier 5 hours ago
    Black font on dark gray background is a great choice for webdesign.
    [-]