Hacker News new | ask | show | jobs
by pirapira 4545 days ago
"admit" does not pass the checker right now. coqchk -o is used to detect those assumptions.