https://github.com/hott/m-types
A formalization of M-types in Agda
https://github.com/hott/m-types
Last synced: 4 months ago
JSON representation
A formalization of M-types in Agda
- Host: GitHub
- URL: https://github.com/hott/m-types
- Owner: HoTT
- License: bsd-3-clause
- Created: 2015-02-11T09:44:53.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2020-03-07T01:54:40.000Z (over 5 years ago)
- Last Synced: 2025-01-02T11:28:26.824Z (5 months ago)
- Language: Agda
- Size: 2.14 MB
- Stars: 32
- Watchers: 11
- Forks: 2
- Open Issues: 1