3 ms·Isabelle has the "Archive of Formal Proofs" http://afp.sourceforge.net/ http://afp.sourceforge.net/by qznc 13y agoIsabelle has the "Archive of Formal Proofs" http://afp.sourceforge.net/ http://afp.sourceforge.net/