Utabcert

Project information

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).

7 Commits
1 Branch
0 Tags

Created on

March 08, 2019

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