Pinned Repositories
equational_theories
A project to map out the relations between different equational theories of Magmas.
fr
GAP package for functionally recursive (automata) groups in GAP
GaloisFields.jl
Finite fields for Julia
gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
julia
The Julia Programming Language
julia
The Julia Programming Language
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
sage
Main repository of SageMath
equational_theories
A project to map out the relations between different equational theories of Magmas.
b-reinke's Repositories
b-reinke/equational_theories
A project to map out the relations between different equational theories of Magmas.
b-reinke/fr
GAP package for functionally recursive (automata) groups in GAP
b-reinke/GaloisFields.jl
Finite fields for Julia
b-reinke/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
b-reinke/julia
The Julia Programming Language