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

Showing 1 - 1
  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