TokenPost topic

Lean proof

1 TokenPost story is tagged Lean proof. The newest appear first.

Latest Lean proof stories

• Ethereum Foundation Opens evm.fast Challenge to Bound Validator Work

  The challenge measures steps in Flapjack’s 64-bit RISC-V model, including startup, and requires a Lean proof.

  Nov 3, 2026, 1:10 AM EST · Technology