1 search result for "tag:"date:2015-01-28""

Showing 1 - 1
  1. coq-concurrency-proxy

    No documentation

    A proxy to interface concurrent Coq programs with the operating system
    date:2015-01-28 keyword:effects keyword:extraction
    Guillaume Claret
    1.0.0
    MIT
    Used by 1 other packages
    14 May 2019