Uncertified Quasi-pseudo dev
JLInvited by Jaeyeol Lee
Joined March 2025
https://github.com/leanprover/lean4/tree/6a10ac8c22beadecabdbb0919c2b50214762f91d/src/Lean/Data 이런저런 자료구조들이 있어서 구현 뜯어보기 좋은듯
Code of conduct · Privacy policy
The source code of this website is available on GitHub repository under the AGPL 3.0 license. v0.2.0+c8774a37
Uncertified Quasi-pseudo dev
https://github.com/leanprover/lean4/tree/6a10ac8c22beadecabdbb0919c2b50214762f91d/src/Lean/Data 이런저런 자료구조들이 있어서 구현 뜯어보기 좋은듯