Emil Holm Gjørup

icon indicating an email [email protected]

icon location Thisted, Denmark

Results 1 repositories owned by Emil Holm Gjørup

cubical-congruence

16
Stars
0
Forks
Watchers

Congruence Closure Procedure in Cubical Agda

verified publisher icon limemloh