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

Loading