No results found

juvix-leanv0.1.0

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

    mathlibbb0575e

    The math library of Lean 4