Stream: FreeSpec dev & users

Topic: Publication on Opam Coq Archive

view this post on Zulip Thomas Letan (Dec 16 2020 at 14:25):

I am pleased to announce that FreeSpec has finally found its way to Opam (in extra-dev)

view this post on Zulip Thomas Letan (Dec 16 2020 at 14:26):

Hopefully a first release will soon be published too

Last updated: Feb 06 2023 at 06:29 UTC