Submissão Rinha de Backend Usamos Lean4 e C++ para fazer o servidor, e PostgreSQL para database. O mundo precisa de monads.