Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP 2015 released


view this post on Zulip Email Gateway (Aug 22 2022 at 09:57):

From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
The Archive of Formal proofs is now available for Isabelle2015 at http://afp.sf.net.

The following entries have seen additional significant updates for the 2015 release:

http://afp.sf.net/entries/Refine_Monadic.shtml
http://afp.sf.net/entries/Collections.shtml

Enjoy!
Gerwin


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.


Last updated: Mar 28 2024 at 08:18 UTC