https://github.com/choukh/agda-googology

formalized googology in agda
https://github.com/choukh/agda-googology

agda formalization googology mathematical-logic mathematics

Last synced: about 5 hours ago
JSON representation

formalized googology in agda

• Host: GitHub
• URL: https://github.com/choukh/agda-googology
• Owner: choukh
• License: gpl-3.0
• Created: 2024-06-24T12:18:43.000Z (5 months ago)
• Default Branch: main
• Last Pushed: 2024-09-19T08:58:58.000Z (about 2 months ago)
• Last Synced: 2024-09-19T09:34:12.809Z (about 2 months ago)
• Topics: agda, formalization, googology, mathematical-logic, mathematics
• Language: CSS
• Homepage:
• Size: 3.75 MB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Formal Googology in Agda

## Requirements

- [Agda 2.7.0](https://github.com/agda/agda/releases/tag/v2.7.0)

- [Agda Stdlib 2.0](https://github.com/agda/agda-stdlib/releases/tag/v2.0)

- [Cubical Agda 0.7](https://github.com/agda/cubical/releases/tag/v0.7)

## License

[AGPL-3.0](https://github.com/choukh/agda-veblen/blob/main/LICENSE)