User:Alemagno12: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
Alemagno12 (talk | contribs) (Created page with "Currently working on: * [User:Alemagno12/Six_Trials_of_Formal_Analysis Six Trials of Formal Analysis] - personal project to get experience with ordinal notation bijection proofs (under development) * [https://googology.neocities.org Googology Server Archive] (under development) * NotPi - an ordinal notation that goes beyond BMS (coming soon)") |
Alemagno12 (talk | contribs) No edit summary |
||
Line 1:
Currently working on:
* [[User:Alemagno12/Six_Trials_of_Formal_Analysis
* [https://googology.neocities.org Googology Server Archive] (under development)
|
Latest revision as of 00:47, 3 September 2023
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)