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

Showing 1 - 1
  1. coq-generic-environments

    No documentation

    Generic Environments is a library that provides an abstract data type for environments
    category:Mathematics/Logic/Type theory keyword:generic environments keyword:typing keyword:type theory logpath:GenericEnvironments
    Emmanuel Polonowski <emmanuel.polonowski@u-pec.fr>
    8.11.0
    MIT
    Used by 0 other packages
    26 Oct 2020