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: about 2 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 (about 1 year ago)
• Default Branch: main
• Last Pushed: 2023-12-15T15:56:35.000Z (about 1 year ago)
• Last Synced: 2023-12-16T08:33:46.755Z (about 1 year ago)
• Topics: agda, formal-languages, formalization, mathematical-logic, mathematics
• Language: Agda
• Homepage:
• Size: 340 KB
• Stars: 1
• 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/)