- napkin-community/proofs : (WIP) Formal proofs of "An Infinitely Large Napkin"
- PnVDiscord/software-foundations-lean : (WIP) Rewriting Software Foundations in Lean 4

Natural Born Developer
    Natural Born Developer
- Seoul, Republic of Korea
- 
        
  04:10
  (UTC -07:00) 
- https://hyeon.me
- @simnalamburt
- @hyeon.me
- @[email protected]
- in/simnalamburt
Highlights
Popular repositories Loading
          Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
  If the problem persists, check the GitHub status page or contact support.






