3 search results for "tag:"keyword: Newman's lemma""
Showing 1 - 3
-
coq-historical-examples
No documentation
Historical examples developed in the (pure) Calculus of Constructions8.10.0LGPL 2.1Used by 0 other packages07 Dec 2019 -
coq-subst
No documentation
The confluence of Hardin-Lévy lambda-sigma-lift-calcul8.10.0UnknownUsed by 0 other packages07 Dec 2019 -
coq-weak-up-to
No documentation
New Up-to Techniques for Weak Bisimulation8.10.0GPLUsed by 0 other packages07 Dec 2019