order-theory

There are 5 repositories under order-theory topic.

UniMath/agda-unimath
The agda-unimath library
Language:Agda223 9 14771
tomhanika/conexp-clj
A General-Purpose Tool for Formal Concept Analysis
Language:Clojure56 5 2925
soimort/some-proofs
Language:Coq2 3 01
lucasmccabe/tusc
WIP Python library providing tools for combinatorial maths (partially-ordered sets, graph polynomials, etc.)
Language:Python1 2 00
purbancz/PhD
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
Language:TeX0 1 00