Skip to content

GitLab

Explore

Sign in

E

EnGuard

Project information

Coq formalization of guarded iteration a la https://www8.cs.fau.de/_media/research:papers:elgot-retract.pdf.

34 Commits
1 Branch
0 Tags

README

Created on

March 08, 2019

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

Loading