Time for a New Proof Assistant

(youtube.com)

3 points | by gsf_emergency_2 13 hours ago ago