HOL Light Tutorial

(hol-light.github.io)

8 points by stmonty3 days ago

2 comments

  • cubefox32 minutes ago
    HOL = higher-order logic
  • brettermeier2 hours ago
    Black font on dark gray background is a great choice for webdesign.