"Is it time for a new proof assistant?" – Jon Sterling [video]

(youtube.com)

2 points | by matt_d 3 hours ago ago

No comments yet.