Skip to content

proof: discharge charEqSym axiom (5→4) + TLA+ model of the Elixir JsWorker - #251

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/awesome-davinci-8afqgy
Jun 24, 2026
Merged

proof: discharge charEqSym axiom (5→4) + TLA+ model of the Elixir JsWorker#251
hyperpolymath merged 2 commits into
mainfrom
claude/awesome-davinci-8afqgy

proof(elixir): TLA+ model of JsWorker — reply-once + liveness verifie…

c5956d7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar