User:Alemagno12
Jump to navigation
Jump to search
Currently working on:
- Six Trials of Formal Analysis - personal project to get experience with ordinal notation bijection proofs (under development)
- Googology Server Archive (under development)
- NotPi - an ordinal notation that goes beyond BMS (coming soon)