Alemagno12
Joined 2 September 2023
no edit summary
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)
|