Name		Name	Last commit message	Last commit date
Latest commit History 598 Commits
public		public
src		src
tools		tools
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
agda-googology.agda-lib		agda-googology.agda-lib
template.html5		template.html5
zhihuify.py		zhihuify.py

Repository files navigation

Formal Googology in Agda

Requirements

License

CC BY-NC-SA 4.0

About

formalized googology in agda

mathematics agda formalization mathematical-logic googology

Report repository

Releases

No releases published

Packages

Contributors

Languages