Skip to content

Lean

Grey / JAR Update: Lean 4 specification, linear memory model, faster than PolkaVM

March 22, 2026