Hacker News new | ask | show | jobs
by a1o 1093 days ago
For some reason I thought it would be about Coq or other similar structured proof assistant language.