Giters

lthms / FreeSpec

A framework for implementing and certifying impure computations in Coq

Home Page:https://lthms.github.io/FreeSpec

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Documentation overhaul

lthms opened this issue · comments

commented

The next priority for the FreeSpec project as a whole should be documentation efforts, as this is required in order to get traction once we push our work to opam (see #6).