User:CircuitCraft

I am a student with a strong interest in mathematics, especially formal proofs and axiomatic systems.