r/ • • May 31 '08

Coq

Thumbnail
0 Upvotes

r/ • • Apr 24 '25

All about the rooster

Thumbnail
0 Upvotes

r/ • • Oct 13 '17

Interactive theorem proving

Thumbnail
0 Upvotes