1 search result for "tag:"logpath:FreeSpec.Exec""

Showing 1 - 1
  1. coq-freespec-exec

    No documentation

    A framework for implementing and certifying impure computations in Coq
    date:2021-03-01 keyword:plugin category:Miscellaneous/Coq Extensions logpath:FreeSpec.Exec
    Thomas Letan Yann Régis-Gianas
    0.3
    MPL-2.0
    Used by 0 other packages
    04 Mar 2021