Email Gateway (Aug 18 2022 at 10:51): Email Gateway (Aug 18 2022 at 10:51):From: Gerwin Klein <gerwin.klein@nicta.com.au>
The Archive of Formal Proofs now makes an automatically generated
development snapshot available, including all new 2006 and 2007
entries.
All development entries are browsable like their stable counterparts.
Development entries might not always work, their current status is
indicated on the entry page. If they do, they should work together
with the current Isabelle development snapshot.
The development snapshot is thought as a preview for the next release only,
i.e. it is explicitly not guaranteed that the development entries remain
stable, archived and citable. Please only refer to the stable version
of entries for that.
AFP development version: http://afp.sf.net/devel.shtml
Isabelle development version: http://isabelle.in.tum.de/devel/
Cheers,
Gerwin
Last updated: May 03 2024 at 04:19 UTC