☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (1)
LeanRPC
0.2.0
Serve Lean 4 functions as RPC methods over HTTP
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
LeanSerde
8b7c1f2
Type-safe serialization for Lean
1
20
LeanRPC0.2.0LeanRPC0.2.0