About Alex Nelson
Fuel my passion for making rigorous mathematical proofs more accessible!
My blog, "Ariadne's Thread," is dedicated to guiding others through the labyrinth of formalizing mathematics with the Mizar proof assistant. I'm working to demystify this powerful tool, making it easier to learn and use.
My goal is to make Mizar easier to learn and use, opening up the world of formal proof to a wider audience.
Recent supporters