Raúl Raja Martínez
raulraja
Interested in AI, LLMs, Functional Programming & Formal verification at @predictable-machines
@predictable-machines Multiverse
@predictable-machines Multiverse