Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
.github/workflows		.github/workflows
profile		profile
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Hi, this is Louis (Yiyang) Liu 👋

🎓 Math undergrad @ Carnegie Mellon University (Discrete Mathematics & Logic)
🔬 Formalization in Lean · AI / Automated theorem proving
🔗 https://Deep0Thinking.com

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

Contributors