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
Description: S/MIME Cryptographic Signature