https://github.com/choukh/metalogic

first-order logic and set theory
https://github.com/choukh/metalogic

agda formal-languages formalization mathematical-logic mathematics

Last synced: 5 months ago
JSON representation

first-order logic and set theory

• Host: GitHub
• URL: https://github.com/choukh/metalogic
• Owner: choukh
• License: agpl-3.0
• Created: 2023-10-11T08:57:11.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-05-11T09:48:49.000Z (about 2 years ago)
• Last Synced: 2025-05-29T17:41:40.436Z (about 1 year ago)
• Topics: agda, formal-languages, formalization, mathematical-logic, mathematics
• Language: Agda
• Homepage:
• Size: 616 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# MetaLogic

## Requirements

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

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

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

- [Font: JuliaMono](https://juliamono.netlify.app/)