This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Divya Ranjan :hilbert:
@divyaranjan@mathstodon.xyz
Joined: 11/11/2024
About Divya Ranjan :hilbert:
Mathematics, Philosophy and Libre Software.
Lives inside GNU Emacs. GNU Guix package maintainer.
Lisps, Haskell, Rust, and occasionally C.
Formal verification, theorem proving, compilers, and anything that can intersect with philosophy, mathematics and logic.
Lists
divyaranjan has no public lists
Timeline
divyaranjan has no activity yet