Project

General

Profile

Overview

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

Quicklinks:

  • Public Git: git clone git://git8.cs.fau.de/enguard
  • Member Git: git clone gitolite@git8.cs.fau.de:enguard