Analytic Reloaded

analytic.neocities.org

9,941 views
0 followers
153 updates
0 tips
Share
analytic updated their site.
6 months ago
footer screenshot footer
Returning-to-Neocities screenshot Returning-to-Neocities
Building-the-Naturals-in-Agda screenshot Building-the-Naturals-in-Agda
Addition-in-Agda screenshot Addition-in-Agda
Identity-types-and-addition-in-Agda screenshot Identity-types-and-addition-in-Agda
index screenshot index

Website Stats

Last updated 4 days 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 philosophy personal logic