GitHub - alexanderbirch/isabelle-goal: GOAL formalized in Isabelle

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
.gitignore		.gitignore
Gvf_Actions.thy		Gvf_Actions.thy
Gvf_Agent_Specification.thy		Gvf_Agent_Specification.thy
Gvf_Example.thy		Gvf_Example.thy
Gvf_Example_BW4T.thy		Gvf_Example_BW4T.thy
Gvf_Hoare_Logic.thy		Gvf_Hoare_Logic.thy
Gvf_Logic.thy		Gvf_Logic.thy
Gvf_Mental_States.thy		Gvf_Mental_States.thy
Gvf_Solver.thy		Gvf_Solver.thy
Gvf_Temporal_Logic.thy		Gvf_Temporal_Logic.thy
README.txt		README.txt
isabelle-goal.zip		isabelle-goal.zip

Repository files navigation

To run the files install and open Isabelle from https://isabelle.in.tum.de/

The primary file to open is "Gvf_Example_BW4T.thy".
Please allow some time for the theories to be checked.
Isabelle will load and check all of the required files which can then be browsed.