Geeks
pruvisto
/
100isabelle
The Top 100 Theorems in Isabelle
Primary Language
SCSS
100isabelle GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
This repository is not active