Giters
pruvisto
/
100isabelle
The Top 100 Theorems in Isabelle
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
1
Issues:
0
Forks:
3
This repository is not active
About
The Top 100 Theorems in Isabelle
Languages
Language:
SCSS
56.4%
Language:
HTML
40.9%
Language:
Ruby
2.7%