leanproverComparator0.1.0

Displaying 1-1 of 1 packages depending on leanprover/Comparator
Sort by

  1. lean-dojo/TorchLeanusesv4.31.0

    Neural network specification, execution, and verification in Lean 4.