mathemage/separation-axioms
My bachelor thesis on separation axioms in the context of pointless topology
Haskell Tools for solving various problems and contests
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
My bachelor thesis on separation axioms in the context of pointless topology
Library for matrix containers (with LUP and QR factorization)