HN
Hacker News
Top
New
Best
Ask
Show
Jobs
dbpokorny
45 karma · joined January 24, 2013
submissions
comments
Isabelle - Generic Proof Assistant
cl.cam.ac.uk
·
2 pts
·
dbpokorny
·
0