Source
- URL: https://x.com/carmim_13/status/2073461299040616534
- Author: carmim333 (@carmim_13)
- Posted: 2026-07-04 17:37:51
Branch
1/ @carmim_13
@VictorTaelin
adorei ler esse post. é ótimo poder ler de você essas explicações. só uma pergunta. você diria que é confortável replicar o Mathlib do Lean para o Bend? acho o Bend muito interessante por conta do IC, acho a teoria elegante. mas, claro, gostaria que o Bend fosse bom em math.
Related
- Spine: 2026-07-04-sighs