No results found

juvix-leanv0.1.0

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

    mathlib4f7fb55

    The math library of Lean 4