N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
HOL Light Tutorial
(
hol-light.github.io
)
10 points by
stmonty
5 days ago
|
4 comments
add comment
Rendered at 20:45:28 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
cubefox 1 days ago
[-]
HOL = higher-order logic
deterministic 19 hours ago
[-]
I would love to actually try this but the black font on a dark background makes it unreadable.
brettermeier 1 days ago
[-]
Black font on dark gray background is a great choice for webdesign.
saidnooneever 1 days ago
[-]
only a true webmaster will do it
1 days ago
[-]