Hacker News new | ask | show | jobs
ATS/LF for Coq Users (slideshare.net)
3 points by typish 3932 days ago