[isabelle] AFP: 500 entries!



Dear Isabelle Users,

The new AFP entry that I just anounced https://www.isa-afp.org/entries/Aristotles_Assertoric_Syllogistic.html is number 500. The AFP editors would like to take this opportunity to thank the contributors for making the AFP such an amazing collection of formalizations from computer science (starting with AVL trees), logic (e.g. Gödel's proof of the existence of God), mathematics (e.g. Gröbner Bases) all the way to physics (No Faster-Than-Light Observers). In total, the AFP now contains 2.300.000 lines of Isabelle, proving almost 140.000 lemmas, contributed over 15 years.

Keep them coming!

The AFP editors
https://www.isa-afp.org/about.html

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.