Kiran@kirancodes
22h
PL Researchers working on a new language: does your language have a mechanised semantics (in Lean)?

If not, why do you bother? your language is DOA (dead on arrival).

In 2027, any language without a mechanised semantics will be a JOKE. nobody will use it.
6
3
61
3,010
Braidpoint
@BraidpointTech
7h
Replying to @kirancodes
@kirancodes What about CVC5/Rocq with Iris/Actris/Aneris making appearances? arxiv.org/abs/2610.12911

Oct 24, 2026 · 7:49 PM UTC

0
0
0
90
RepliesRelevant