HOL Light Tutorial

(hol-light.github.io)

9 points | by stmonty 4 days ago ago

3 comments

  • cubefox an hour ago

    HOL = higher-order logic

  • brettermeier 3 hours ago

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

    [-]