1 search result for "tag:"keyword: equational reasoning""

Showing 1 - 1
  1. coq-reflexive-first-order

    No documentation

    Reflexive first-order proof interpreter
    keyword: computational reflection keyword: interpretation keyword: first-order logic keyword: equational reasoning category: Miscellaneous/Coq Extensions date: 2005-05
    Pierre Corbineau <pierre.corbineau@lri.fr> [http://www.cs.ru.nl/~corbineau]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019