Hacker News new | ask | show | jobs
Time for a New Proof Assistant (youtube.com)
3 points by gsf_emergency_2 260 days ago