Skip to content
#

order-theory

Star

Here are 9 public repositories matching this topic...

Language: All
Filter by language
All 9 Python 2 TeX 2 Agda 1 Clojure 1 Rocq Prover 1 Jupyter Notebook 1 Lean 1

arcticoder / aqei-bridge

Star 0

A Lean 4 formalization of discrete causal posets and convex-cone models for AQEI constraints. Features 130+ machine-checked theorems covering chain-complex homology proxies, $Z_1$ cycle space stability, and bidirectional equivalence of 1-cycle proxies.

formal-verification convex-optimization interactive-theorem-proving discrete-geometry homology order-theory lean4 mathlib4 causal-posets quantum-energy-inequalities
  • Updated Feb 27, 2026
  • Lean

Carptopus / MathExplore-Notes

Star 0

AI-assisted mathematical research manuscripts with reproducible materials across combinatorics and words, matrix and coding theory, topology, order and discrete geometry, algebra, matroids, and continuous optimization.

reproducible-research algebraic-topology coding-theory combinatorics posets matrix-theory commutative-algebra experimental-mathematics order-theory finite-geometry polyhedral-combinatorics combinatorics-on-words cyclotomic-polynomials combinatorial-designs ai-assisted-research noncommutative-algebra matroid-theory fano-plane computer-assisted-mathematics alternating-matrices
  • Updated Aug 29, 2026
  • TeX

Improve this page

Add a description, image, and links to the order-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the order-theory topic, visit your repo's landing page and select "manage topics."

Learn more