Emilio J. Gallego Arias
@ejgallego
Researcher. ejgallego @ bsky.social and mathstodon.xyz
ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean.
ID: 284075759
https://www.irif.fr/~gallego/ 18-04-2011 15:39:27
2,2K Tweet
462 Takipçi
711 Takip Edilen