Pinned Loading

1. Zettel Zettel Public

   Zettel Template

   Jupyter Notebook 57 6

2. SimplicialTensors SimplicialTensors Public

   Python

3. FailureOfComposition FailureOfComposition Public

   Lean formalization of Pointwise provable equality and the failure of composition https://arxiv.org/abs/2609.25556

   Lean 1 1

4. sagepod sagepod Public

   SageMath containerization with podman under a Python virtual environment, with UID:GID mapping

   Python

5. errata errata Public

   Corrections to published papers by Florian Lengyel.

   TeX

6. notes notes Public

   Notes on mathematics

   TeX