All Git Users → ericfinster

4 open source projects by ericfinster

[ Open user page on Github ]

Web based opetopic editor

✭ 34

Orchard Opetopic Proof Assistant

✭ 27

Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories

✭ 11

4. opetopes-in-agda

Formalization of Opetopes and Opetopic Sets in Agda

✭ 15

1-4 of 4 user projects