https://github.com/xafizoff/agda

Groupoid Infinity cubical base library for Agda
https://github.com/xafizoff/agda

Last synced: 2 months ago
JSON representation

Groupoid Infinity cubical base library for Agda

• Host: GitHub
• URL: https://github.com/xafizoff/agda
• Owner: xafizoff
• Created: 2018-12-27T22:17:05.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-12-27T21:32:17.000Z (over 6 years ago)
• Last Synced: 2025-01-31T06:07:25.899Z (4 months ago)
• Language: Agda
• Homepage: https://groupoid.space/mltt/types/
• Size: 66.4 KB
• Stars: 0
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
[![Build Status](https://travis-ci.org/groupoid/agda.svg?branch=master)](https://travis-ci.org/groupoid/agda)

Groupoid Infinity

=================

The Groupoid Infinity cubical base library for Agda 2.6.0 (--cubical).

Credits

-------

* Maxim Sokhatsky

* Andrea Vezzosi

* Anders Mörtberg