GitHub - verimath/termination: CoInduction Termination and Category Theory · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
src		src
Make		Make
configure.sh		configure.sh

About

CoInduction Termination and Category Theory

category-theory coinduction streams

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages