guarded-recursion topic
List
guarded-recursion repositories
trafficstars
coq-guarded-computational-type-theory
20
Stars
1
Forks
Watchers
