Analytic Reloaded

analytic.neocities.org

8,998 views
0 followers
124 updates
0 tips
Share
analytic updated Analytic Reloaded
1 month ago
Website screenshot footer.html
Website screenshot Returning-to-Neocities.html
Website screenshot Building-the-Naturals-in-Agda.html
Website screenshot Addition-in-Agda.html
Website screenshot Identity-types-and-addition-in-Agda.html
Website screenshot Analytic Reloaded

Website Stats

Last updated 1 month ago
CreatedJun 28, 2022
Site Traffic Stats

This site follows

Angels Are Mathematical avatar Death is a new beginning avatar This site has moved! avatar

Tags

linux math computers philosophy personal