GitHub - georgydunaev/JechExercises: Isabelle Jech Exercises

Name		Name	Last commit message	Last commit date
Latest commit History 52 Commits
document		document
.gitignore		.gitignore
JechExercises.thy		JechExercises.thy
README		README
ROOT		ROOT
classical_axioms.thy		classical_axioms.thy
trivia.thy		trivia.thy

Repository files navigation

To build proof document use
```
isabelle build -D .
```

Isabelle Jech Exercises

No releases published