GitHub - pruvisto/100isabelle: The Top 100 Theorems in Isabelle

Name		Name	Last commit message	Last commit date
Latest commit History 48 Commits
.github/workflows		.github/workflows
_includes		_includes
_layouts		_layouts
assets/css		assets/css
.gitignore		.gitignore
Gemfile		Gemfile
Gemfile.lock		Gemfile.lock
_config.yml		_config.yml
index.md		index.md