CORQUE

Project information

CORQUE stands for CORecursive eQUations over Effects. This project contains a Coq formalization of complete Elgot monads, their corecursive extensions and background proofs for the paper Unguarded Recursion on Coinductive Resumptions...

113 Commits
1 Branch
0 Tags

MIT License

Created on

March 08, 2019

Copy SSH clone URLgit@git8.cs.fau.de:software/corque.git
Copy HTTPS clone URLhttps://git8.cs.fau.de/software/corque.git