Hacker News new | ask | show | jobs
Quick Reference and Starter Exercises for Learning Coq (github.com)
2 points by testcross 2489 days ago