4 ms·
There are archives of formal proofs that are quite big, e.g. https://www.isa-afp.org/ https://www.isa-afp.org/ for Isabelle, https://github.com/UniMath https://
by brohee 7y ago
There are archives of formal proofs that are quite big, e.g. https://www.isa-afp.org/ https://www.isa-afp.org/ for Isabelle, https://github.com/UniMath https://github.com/UniMath for Coq
- imranq 7y agoThanks! This is really fascinating for me, i had never heard of this way of doing proofs and I studied math in college