GitHub - gittywithexcitement/isabelle: adventures with the interactive theorem prover, Isabelle · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 359 Commits
Chapter 2		Chapter 2
Chapter 3		Chapter 3
Chapter 4		Chapter 4
Chapter 5		Chapter 5
Chapter 7		Chapter 7
IEEE		IEEE
theorem-prover-showdown		theorem-prover-showdown
MyTypes.thy		MyTypes.thy

About

adventures with the interactive theorem prover, Isabelle

Report repository

Releases

Packages

Contributors

Languages

Isabelle 100.0%