GitHub - kolya-vasiliev/concrete-semantics: My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.

kolya-vasiliev / concrete-semantics Public

My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
AExp.thy		AExp.thy
BExp.thy		BExp.thy
Big_Step.thy		Big_Step.thy
Big_Step_7_8.thy		Big_Step_7_8.thy
Big_Step_7_9.thy		Big_Step_7_9.thy
Chap_five.thy		Chap_five.thy
Chap_four.thy		Chap_four.thy
Chap_seven.thy		Chap_seven.thy
Chap_three.thy		Chap_three.thy
Chap_two.thy		Chap_two.thy
Com.thy		Com.thy
Com_7_8.thy		Com_7_8.thy
Com_7_9.thy		Com_7_9.thy
Small_Step.thy		Small_Step.thy
Small_Step_7_8.thy		Small_Step_7_8.thy
Small_Step_7_9.thy		Small_Step_7_9.thy
Star.thy		Star.thy