Showing 1 of 1 repositories tagged #lean-theorem-prover, ranked by stars
Lean 4 multi-target compiler: one portable program source → EVM, Solana, NEAR, Noir with fail-closed semantics (proof-forge-next)
