Giters
rohitdureja
/
isabelle-practice
Exercises from the Prog-Prove manual of Isabelle
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
7
Watchers:
1
Issues:
0
Forks:
2
hol
isabelle
isar
This repository is not active
About
Exercises from the Prog-Prove manual of Isabelle
hol
isabelle
isar
Languages
Language:
Isabelle
100.0%