guarded-recursion topic

List guarded-recursion repositories

coq-guarded-computational-type-theory

20

Stars

1

Forks

Watchers

dependent-types

guarded-recursion

© 2022 Git Memory Policy Terms Contact Exchangetuts Onltools