3 search results for "tag:"date:2021-03-01""

Showing 1 - 3
  1. coq-freespec-core

    No documentation

    A framework for implementing and certifying impure computations in Coq
    date:2021-03-01 keyword:effects keyword:freer keyword:program logic category:Mathematics/Category Theory logpath:FreeSpec.Core
    Thomas Letan Yann Régis-Gianas
    0.3
    MPL-2.0
    Used by 2 other packages
    04 Mar 2021
  2. 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
  3. coq-freespec-ffi

    No documentation

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