-
-
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
-
mathlib4 Public
Forked from leanprover-community/mathlib4my dirty branches
Lean Apache License 2.0 UpdatedMar 6, 2023 -
-
VinbergsAlgorithmNF Public
Vinberg's algorithm on number fields using Hecke
-
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedJul 5, 2021 -
-
vinberg Public
port https://github.com/aperep/vinberg-algorithm to julia
-
{{ message }}