Emilio J. Gallego Arias
@ejgallego@mathstodon.xyz
Joined: 01/13/2025
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