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: | Line 1: | ||
Currently working on: |
Currently working on: |
||
* [User:Alemagno12/Six_Trials_of_Formal_Analysis |
* [[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) |
* [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)