anuyts

icon indicating a website link anuyts.github.io

icon company KU Leuven

Results 2 repositories owned by anuyts

agda-sessions

50
Stars
4
Forks
Watchers

Learn the Agda basics in three 2-hour sessions.

verified publisher icon anuyts

menkar

33
Stars
0
Forks
Watchers

The multimode presheaf proof-assistant

verified publisher icon anuyts