GitPlanet
All Categories → No Category → order-theory

Top 2 order-theory open source projects

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
conexp-clj
A General-Purpose Tool for Formal Concept Analysis
✭ 37
clojurejavaC#HTMLpythonNixorderlatticeformal-concept-analysisorder-theoryclosure-systems
1-2 of 2 order-theory projects