[%] 지적허영심 채울 언어 추천 좀

[익명(211.234)]

후보는 Lean4, Agda, Coq임

뉴비라 문서 많은거 추천 좀...

[땔감(gcp24685)]

영어

[다믜(damhiya)]

plfa 보셈
https://plfa.github.io/

[다믜(damhiya)]

coq은 sf 있음
http://softwarefoundations.cis.upenn.edu/

[다믜(damhiya)]

lean은 plfa, sf 수준 교재는 없는걸로 아는데 인터넷 자료 긁어모아서 배울 수는 있을듯

[다믜(damhiya)]

https://leanprover-community.github.io/mathematics_in_lean/
https://github.com/lean-forward/logical_verification_2024

[익명(211.234)]

라틴어

[익명(58.151)]

산스크리트어