Email Gateway (Aug 22 2022 at 09:57): 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: Nov 21 2024 at 12:39 UTC