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.)

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

Inspired by the foundations of mathematics, analytical philosophy, and computer science.

Utilities for the Local Dimension of a Boolean lattice article.