Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
SYSTEMF @ EPFL
(Uncensored)
subscribe
Untangling mechanized proofs
https://systemf.epfl.ch/blog/alectryon/
links
backlinks
Tagged with:
tools
projects
coq
An introduction to Alectryon
