No results found

lie-classification

Classification of Lie algebras in Lean
Displaying 1-1 of 1 versions of lie-classification
Sort by
  1. Not a part of any version track.
    7087b15
    25 days ago
    Released on June 2, 2025 at 4:11:36PM
    Commit 7087b15 fails to build on leanprover/lean4:v4.20.0-rc5
    v4.20.0-rc5