algebra4
Algebra library for Lean 4.
- The
algebra4library is copyright © 2025 François G. Dorais. The library is released under the Apache 2.0 license. See the file LICENSE for additional details.
algebra
Algebra library for Lean 4
Algebra library for Lean 4.
algebra4 library is copyright © 2025 François G. Dorais. The library is released under the Apache 2.0 license. See the file LICENSE for additional details.