#
order-theory
Here are 6 public repositories matching this topic...
Language:All
Filter by language
The agda-unimath library
category-theorygraph-theoryspeciestreesgroup-theorynumber-theorycommutative-algebrahomotopy-type-theoryunivalent-foundationsfinite-groupsorder-theoryunivalent-mathematicsuniversal-algebraring-theorystructured-typesunivalent-combinatoricssynthetic-homotopy-theoryhigher-group-theorytype-theoriesorthogonal-factorization-systems
- Updated
Jun 24, 2025 - Agda
A General-Purpose Tool for Formal Concept Analysis
data-sciencedataclojureorderdata-analysislatticeformal-concept-analysisorder-theoryclosure-systemsconceptual-knowledge
- Updated
Jun 18, 2025 - Clojure
- Updated
Nov 2, 2017 - Coq
WIP Python library providing tools for combinatorial maths (partially-ordered sets, graph polynomials, etc.)
- Updated
Jan 13, 2022 - Python
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
languagesemanticslogicphilosophyset-theoryparadoxnegationtheologynegativeliarepistemic-logicintuitionistic-logicorder-theorymereologyanalytic-philosophy
- Updated
Oct 8, 2023 - TeX
- Updated
May 21, 2025 - Jupyter Notebook
Improve this page
Add a description, image, and links to theorder-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theorder-theory topic, visit your repo's landing page and select "manage topics."