oOo0oOoLeanSerde0.2.0

Type-safe serialization for Lean
Displaying 1-1 of 1 packages depending on oOo0oOo/LeanSerde
Sort by

  1. oOo0oOo/LeanRPCuses8b7c1f2

    Serve Lean 4 functions as RPC methods over HTTP