alt Hacker News

HOL Light Tutorial

10 points • by stmonty • last Friday at 12:33 AM • 3 comments • view on HN

Comments

cubefox • today at 11:45 AM

HOL = higher-order logic

brettermeier • today at 10:03 AM

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

➕ show 2 replies