#

order-theory

Here are 5 public repositories matching this topic...

agda-unimath

UniMath / agda-unimath

The agda-unimath library

category-theory graph-theory species trees group-theory number-theory commutative-algebra homotopy-type-theory univalent-foundations finite-groups order-theory univalent-mathematics universal-algebra ring-theory structured-types univalent-combinatorics synthetic-homotopy-theory higher-group-theory type-theories orthogonal-factorization-systems

Updated Nov 14, 2024
Agda

tomhanika / conexp-clj

A General-Purpose Tool for Formal Concept Analysis

data-science data clojure order data-analysis lattice formal-concept-analysis order-theory closure-systems conceptual-knowledge

Updated Sep 23, 2024
Clojure

soimort / some-proofs

algebraic-logic order-theory

Updated Nov 2, 2017
Coq

tusc

lucasmccabe / tusc

WIP Python library providing tools for combinatorial maths (partially-ordered sets, graph polynomials, etc.)

discrete-mathematics graph-theory combinatorics order-theory

Updated Jan 13, 2022
Python

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 semantics logic philosophy set-theory paradox negation theology negative liar epistemic-logic intuitionistic-logic order-theory mereology analytic-philosophy

Updated Oct 8, 2023
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."