rinha icon indicating copy to clipboard operation
rinha copied to clipboard

Published 20 hours ago • verified publisher icon aripiprazole
→

Metadata

🧪 | Rinha de Backend Lean4

Submissão Rinha de Backend

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

← Metadata

60
Stars
3
Forks
Watchers

Owner

verified publisher icon aripiprazole

Metadata

🧪 | Rinha de Backend Lean4

Back