Analytic Reloaded

analytic.neocities.org

9,657 views
0 followers
147 updates
0 tips
Share
analytic updated their site.
5 days ago
Returning-to-Neocities screenshot Returning-to-Neocities
Identity-types-and-addition-in-Agda screenshot Identity-types-and-addition-in-Agda
Building-the-Naturals-in-Agda screenshot Building-the-Naturals-in-Agda
relations-leq screenshot relations-leq
disorganized-thoughts-on-ethics-morality screenshot disorganized-thoughts-on-ethics-morality
cur-mon-mult-exp screenshot cur-mon-mult-exp
Addition-in-Agda screenshot Addition-in-Agda
New-Linux-users-welcome-advice screenshot New-Linux-users-welcome-advice
properties-of-leq screenshot properties-of-leq
index screenshot index
analytic updated their site.
1 month ago
relations-leq screenshot relations-leq
index screenshot index
analytic updated their site.
2 months ago
assoc-id-comm screenshot assoc-id-comm
index screenshot index
analytic updated their site.
2 months ago
cur-mon-mult-exp screenshot cur-mon-mult-exp
2 likes
analytic updated their site.
2 months ago
index screenshot index
cur-mon-mult-exp screenshot cur-mon-mult-exp
analytic updated their site.
4 months ago
index screenshot index
disorganized-thoughts-on-ethics-morality screenshot disorganized-thoughts-on-ethics-morality
analytic updated their site.
4 months ago
index screenshot index
New-Linux-users-welcome-advice screenshot New-Linux-users-welcome-advice
analytic updated their site.
5 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
analytic updated their site.
1 year ago
index screenshot index
analytic updated their site.
3 years ago

Website Stats

Last updated 5 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 computers philosophy personal