No results found

juvix-leanv0.1.0

Juvix Lean library for compiler run verification
#math
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlib8fa3d6b

    The math library of Lean 4