GitPlanet
All Categories → No Category → group-theory

Top 2 group-theory open source projects

Awesome-Math-Learning
📜 Collection of the most awesome Math learning resources in the form of notes, videos and cheatsheets.
✭ 73
machine-learningdeep-learningtopologycalculusmathinformation-theorylinear-algebraprobabilitymathematicsset-theorycheatsheetdiscrete-mathematicsgraph-theoryawesome-listgroup-theorylecture-notescheatsheetsnumber-theorymeasure-theorymath-cheatsheets
SymmetryBookFormalization
Univalent mathematics in Agda
✭ 117
Makefiletype-theorycategory-theorygraph-theoryagdagroup-theorynumber-theorycommutative-algebrahomotopy-type-theoryunivalent-foundationsfinite-groupsorder-theoryunivalent-mathematicsring-theorystructured-typesunivalent-combinatoricssynthetic-homotopy-theoryhigher-group-theorytype-theories
1-2 of 2 group-theory projects