Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 20 Years of the AFP

Email Gateway (Mar 22 2024 at 21:33):

From: Lawrence Paulson <lp15@cam.ac.uk>
This week saw the 20th anniversary of Isabelle's Archive of Formal Proofs. More than 4 million lines. It builds in just over two hours on a parallel machine (actual runtime over 87 hours). This includes slow developments including calculations. Thanks to all of you for your contributions!

Larry

Last updated: Apr 29 2024 at 04:18 UTC