Skip to content

Tags: logicalhacking/Extended_Finite_State_Machines

Tags

afp-current-Isabelle2021-1

Toggle afp-current-Isabelle2021-1's commit message 
Release for Isabelle 2021-1.

Based on afp-2021-12-28.

afp-current-Isabelle2021

Toggle afp-current-Isabelle2021's commit message 
Release for Isabelle 2021.

Direct download: https://www.isa-afp.org/release/afp-2021-02-24.tar.gz

afp-Extended_Finite_State_Machines-current-Isabelle2020

Toggle afp-Extended_Finite_State_Machines-current-Isabelle2020's commit message 
Official AFP Entry for Isabelle 2020.