oOo0oOoLeanRPC0.2.0

Serve Lean 4 functions as RPC methods over HTTP
Displaying 1-1 of 1 versions of LeanRPC
Sort by
  1. 0.2Version track: 0.2
    0.2.0
    5 months ago
    Released on November 21, 2025 at 10:44:06AM
    Commit bf9f9b8 builds on its old leanprover/lean4:v4.25.0
    v4.25.0
    64.0 MB Build archive size: 64030674 bytes.