User contributions for MathsStan
Results for MathsStan talk block log uploads logs global block log global account filter log
A user with 4 edits. Account created on 7 May 2025.
14 May 2025
- 13:4213:42, 14 May 2025 diff hist +57 User:MathsStan No edit summary current
- 13:4013:40, 14 May 2025 diff hist +10 User:MathsStan No edit summary
- 13:3913:39, 14 May 2025 diff hist +676 N User:MathsStan ←Created page with 'Have an undergraduate background in Mathematics, and the beginnings of a professional background in Static Analysis. Actively studying (In a non-academic capacity) and learning about various Math/CS areas, with emphasis on: * Topology * Type Theory * Formal languages * And some functional programming languages: ** Agda ** Idris ** Haskell If you see me being authoritative in topics outside of these,...' Tag: Disambiguation links added
- 13:1713:17, 14 May 2025 diff hist +433 Talk:NAT traversal →Carrier Grade NAT: new section current Tag: New topic
