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
{n, plural, =1 {List} other {Lists}}
{username} has no public lists
Timeline
{username} has no activity yet