Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Utabcert is a Coq formalization of equivalence and containment results obtained by Sagiv and Yannakakis (Equivalence Among Relational Expressions with the Union and Difference Operators).
Updated -
Coq formalization of guarded iteration a la https://www8.cs.fau.de/_media/research:papers:elgot-retract.pdf.
Updated -
-
BSc project of Alexander Dietsch for simulating LOOP and WHILE programs
Updated -
-
Updated