1 search result for "tag:"keyword:relations""

Showing 1 - 1
  1. coq-coqrel

    No documentation

    Binary logical relations library for the Coq proof assistant
    keyword:relations category:Mathematics/Logic/Type theory
    Jérémie Koenig
    0.1.0
    MIT
    Used by 0 other packages
    27 Jan 2017