1 search result for "tag:"keyword: explicit equality proofs""

Showing 1 - 1

coq-ptsf

No documentation

Explicit Convertibility Proofs in Pure Type Systems

keyword: pure type systems keyword: judgmental equality keyword: explicit equality proofs keyword: proof relevance category: Mathematics/Logic/Type theory

Floris van Doorn <fpv@andrew.cmu.edu> [http://www.andrew.cmu.edu/user/fpv/] Herman Geuvers <herman@cs.ru.nl> [http://www.cs.ru.nl/~herman/] Freek Wiedijk <freek@cs.ru.nl> [http://www.cs.ru.nl/~freek/]

8.10.0

BSD

Used by 0 other packages

07 Dec 2019