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