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

Showing 1 - 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