HOL Light Tutorial

Timeline

1. 16 Oct, 00:33 UTCFirst appeared on Hacker News

Top sources

• HOL Light TutorialHacker News