This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

Emilio J. Gallego Arias

@ejgallego@mathstodon.xyz

Joined: 01/13/2025

15

Followers

41

Following
ProfileTrailsStatistics

About Emilio J. Gallego Arias

Researcher. ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean

Lists

ejgallego has no public lists

Timeline

ejgallego has no activity yet