Hacker News new | ask | show | jobs
by angara 2253 days ago
Fascinating, do you have any links to papers about machine-verifiable formalisms?
1 comments