Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP: 500 entries!

view this post on Zulip Email Gateway (Aug 22 2022 at 20:46):

From: Tobias Nipkow <nipkow@in.tum.de>
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
smime.p7s

Last updated: Apr 20 2024 at 12:26 UTC