Renato Leme
LightNews LightNews
banner
leme.bsky.social
Renato Leme
@leme.bsky.social
210 followers 440 following 370 posts
PhD student at UNICAMP. Personal website: https://renatoleme.github.io/
Posts Replies Media Videos
leme.bsky.social
related: www.youtube.com/watch?v=aDK2...
Karnak / 13. Hymboraewqueyra
YouTube video by Reverberre Canal
www.youtube.com
October 27, 2025 at 1:46 PM
leme.bsky.social
www.youtube.com/watch?v=5XcX...
Pierre Lescanne, "Almost all classical theorems are intuitionistic"
YouTube video by Computational Logic and Applications
www.youtube.com
October 23, 2025 at 5:16 PM
leme.bsky.social
Related: Almost all classical theorems are intuitionistic (Pierre Lescanne)

www.rairo-ita.org/articles/ita...
www.rairo-ita.org
October 23, 2025 at 5:15 PM
leme.bsky.social
- Passei na USP!
- Que legal, parabéns, vestibular muito difícil.
- Não, não, passei em frente à USP hoje
October 17, 2025 at 12:50 PM
leme.bsky.social
pré-balada?
October 15, 2025 at 2:18 PM
leme.bsky.social
Massa, essa funciona bem no VScode, inclusive pra descomentar
October 13, 2025 at 9:07 PM