Pinned Loading

1. GoelandProver/Goeland GoelandProver/Goeland Public

   A first-order concurrent automated theorem prover

   Go 19 4

2. Homotopy-Finiteness Homotopy-Finiteness Public

   A formalisation of the homotopy finiteness proof in Jonas Hoefer's prototype, and some applications.

   Emacs Lisp 1

3. advent-of-code advent-of-code Public

   Solutions for the Advent of Code (since 2020)

   C++