Eric Finster

icon indicating a website link http://ericfinster.github.io icon indicating an email [email protected]

icon location Paris, France

Results 4 repositories owned by Eric Finster

higher-alg

21
Stars
2
Forks
Watchers

An approach to higher algebra in type theory

verified publisher icon ericfinster

opetopes-in-agda

15
Stars
1
Forks
Watchers

Formalization of Opetopes and Opetopic Sets in Agda

verified publisher icon ericfinster

opetopic

33
Stars
2
Forks
Watchers

Web based opetopic editor

verified publisher icon ericfinster

orchard

27
Stars
1
Forks
Watchers

Orchard Opetopic Proof Assistant

verified publisher icon ericfinster