U

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

Loading