The agda-unimath library

A General-Purpose Tool for Formal Concept Analysis

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

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.

Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.

Utilities for the Local Dimension of a Boolean lattice article.