HN
Hacker News
Top
New
Best
Ask
Show
Jobs
HOL Light Tutorial | Hacker News Reader
HOL Light Tutorial
hol-light.github.io
10 points
·
stmonty
·
·
4 comments
Open article
Save
View on HN
cubefox
·
HOL = higher-order logic
deterministic
·
I would love to actually try this but the black font on a dark background makes it unreadable.
brettermeier
·
Black font on dark gray background is a great choice for webdesign.
saidnooneever
·
only a true webmaster will do it
Reply on news.ycombinator.com