GitHub - Kuniwak/isabelle-program-semantics-exercise: 「情報数学講座（第7巻）プログラム意味論」（著: 横内寛文）の形式的証明

Name		Name	Last commit message	Last commit date
Latest commit History 64 Commits
.gitignore		.gitignore
Program_Semantics_3.thy		Program_Semantics_3.thy
Program_Semantics_3_3.thy		Program_Semantics_3_3.thy
Program_Semantics_3_Exercise.thy		Program_Semantics_3_Exercise.thy
Program_Semantics_3_Test.thy		Program_Semantics_3_Test.thy