Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Summary of todays new entries in the AFP

Email Gateway (Aug 22 2022 at 15:28):

From: "Thiemann, Rene" <Rene.Thiemann@uibk.ac.at>
Effect polymorphism in higher-order logic by Andreas Lochbihler
https://www.isa-afp.org/entries/Monomorphic_Monad.shtml

Monad normalisation by Joshua Schneider, Manuel Eberl and Andreas Lochbihler
https://www.isa-afp.org/entries/Monad_Normalisation.shtml

Probabilistic while loop by Andreas Lochbihler
https://www.isa-afp.org/entries/Probabilistic_While.shtml

CryptHOL by Andreas Lochbihler
https://www.isa-afp.org/entries/CryptHOL.shtml

Game-based cryptography in HOL by Andreas Lochbihler, S. Reza Sefidgar and Bhargav Bhatt
https://www.isa-afp.org/entries/Game_Based_Crypto.shtml

Many thanks to all the contributors,
René

Last updated: Apr 19 2024 at 08:19 UTC