Record · corpus.blog/posts/01a08760-c19c-71de-9ce7-74f81b00ff4a

Between Rocq & A Hard Case

clef-lang.com · published 26 June 2026

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 clef-lang.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 21
Words captured: 7,690

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://symbolic.software/blog/2026-04-07-cryspen-hax/

symbolic.software

https://speakez.tech/blog/dangers-of-unearned-press/

speakez.tech

https://speakez.tech/blog/case-studies-in-consequence/

speakez.tech

Fearless Concurrency Gets Real Read at the source ↗

clef-lang.com

https://clef-lang.com/docs/design/types/

clef-lang.com

https://clef-lang.com/docs/internals/verification/decidability-sweet-spot/

clef-lang.com

https://clef-lang.com/docs/design/categorical-foundations/formal-verification-compilation-byproduct/

clef-lang.com

https://arxiv.org/abs/2103.14466

arxiv.org

https://clef-lang.com/docs/design/concurrency/deadlock-freedom-as-an-obligation/

clef-lang.com

https://clef-lang.com/docs/design/categorical-foundations/the-compilation-sheaf/

clef-lang.com

https://arxiv.org/abs/2606.04352

arxiv.org

https://speakez.tech/blog/getting-real-with-fidelity-framework/

speakez.tech

https://arxiv.org/abs/2606.02854

arxiv.org

https://dafny.org/

dafny.org

https://fstar-lang.org/

fstar-lang.org

https://dafny.org/dafny/DafnyRef/DafnyRef

dafny.org

https://dafny.org/v4.9.1/VerificationOptimization/VerificationOptimization

dafny.org

https://clef-lang.com/docs/internals/verification/mode-shifts/

clef-lang.com

https://clef-lang.com/spec/draft/conformance/

clef-lang.com

https://clef-lang.com/docs/internals/verification/proofs-to-silicon/

clef-lang.com

https://clef-lang.com/docs/guides/

clef-lang.com