umpolungfishimscrbgrmr-lean0.1.0

A 12-primitive measurement apparatus for the structural type of any system — 17,280,000-address Crystal of Types
#math
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibv4.28.0

    The math library of Lean 4