junghanacs🧠
Search
Search
Dark mode
Light mode
Explorer
Tag: lean
2 items with this tag.
2025-05-15
#변환: #수학수식 #형식언어
formallanguage
latex
lean
notes
2025-03-14
@테런스타오 @TerenceTao 수학자 보조증명
bib
proofassistants
ai
lean
mathematics
Comments