Hacker News new | ask | show | jobs
by mvh 1901 days ago
This nonsense sounds a lot like programming in Coq.