Dataset - CKAN

Coinductive graph representation

We are interested in graph representation in the theorem prover Coq. We have chosen to represent graphs using coinductive types. We wanted to explore their use in Coq....
- HTML

You can also access this registry using the API (see API Docs).