Email Gateway (Aug 22 2022 at 18:00): Email Gateway (Aug 22 2022 at 18:00):From: Gerwin.Klein@data61.csiro.au
The AFP is now available for Isabelle2018.
With the new release, a number of new entries from the development version have become available from the front page on https://www.isa-afp.org/
Von-Neumann-Morgenstern Utility Theorem
by Julian Parsert and Cezary Kaliszyk
https://www.isa-afp.org/entries/Neumann_Morgenstern_Utility.html
Partial Order Reduction
by Julian Brunner
https://www.isa-afp.org/entries/Partial_Order_Reduction.html
CakeML
by Lars Hupel and Yu Zhang
https://www.isa-afp.org/entries/CakeML.html
Gromov Hyperbolicity
by Sebastien Gouezel
https://www.isa-afp.org/entries/Gromov_Hyperbolicity.html
The Mason–Stothers Theorem
by Manuel Eberl
https://www.isa-afp.org/entries/Mason_Stothers.html
Operations on Bounded Natural Functors
by Jasmin Christian Blanchette, Andrei Popescu, and Dmitriy Traytel
https://www.isa-afp.org/entries/BNF_Operations.html
The AFP now contains ~1,960,700 lines of proof in 428 articles by 291 Authors.
Enjoy!
Gerwin
Last updated: Apr 30 2024 at 16:19 UTC