CBirkbeckAINTLIB

Atlas of formalised number theory in Lean (Verso blueprint)
Displaying 1-1 of 1 packages depending on CBirkbeck/AINTLIB
Sort by

  1. leanprover/hexusesab14514

    Verified computational algebra in Lean 4: aggregator for the released hex libraries