Record · corpus.blog/posts/01a0b877-6fba-72d2-8cca-9ab2b5db960d

Getting Specific: Announcing the Gospel and Ortac Projects

tarides.com · published 3 September 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at tarides.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 22
Words captured: 1,515

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://anr.fr/en/

anr.fr

https://www.inria.fr/en

inria.fr

https://anr.fr/en/funded-projects-and-impact/funded-projects/project/funded/project/b2d9d3668f92a3b9fbbf7866072501ef-bcaf728f49/?tx_anrprojects_funded%5Bcontroller%5D=Funded&cHash=abe71830301addcbf212c5a439e7fbbf

anr.fr

https://www.inria.fr/fr

inria.fr

https://lmf.cnrs.fr

lmf.cnrs.fr

https://www.nomadic-labs.com

nomadic-labs.com

https://github.com/ocaml-gospel/gospel

github.com

https://inria.hal.science/hal-02157484v2/document

inria.hal.science

https://github.com/ocaml-gospel/cameleer

github.com

https://www.why3.org/

why3.org

https://github.com/ocaml-gospel/ortac

github.com

https://www.lri.fr

lri.fr

https://github.com/shym

github.com

https://github.com/n-osborne

github.com

https://github.com/pascutto

github.com

https://inria.hal.science/hal-03328646

inria.hal.science

https://gitlab.inria.fr/fpottier/monolith

gitlab.inria.fr

https://github.com/ocaml-multicore/multicoretests

github.com

https://discuss.ocaml.org/t/ann-ortac-0-3-0-dynamic-formal-verification-made-easy/14936

discuss.ocaml.org

https://discuss.ocaml.org/t/ann-gospel-0-3-0/14480/2

discuss.ocaml.org

https://bsky.app/profile/tarides.com

bsky.app

https://www.linkedin.com/company/tarides

linkedin.com