themathqueenMonlib

Formalising non-commutative graph theory in Lean
Displaying 1-1 of 1 versions of Monlib
Sort by
  1. Not a part of any version track.
    e419fa0
    8 months ago
    Released on June 12, 2025 at 12:17:57PM
    Commit e419fa0 builds on its old leanprover/lean4:v4.21.0-rc3
    v4.21.0-rc3
    37.5 MB Build archive size: 37462059 bytes.