computational-type-theory topic
List
computational-type-theory repositories
muprl
32
Stars
1
Forks
Watchers
A small NuPRL style proof assistant
