Naoto Onda
Developer
Welcome to my portfolio! I'm passionate about creating AI mathematician.
Read my articles on noteProjects
Automated Theorem Proving
A Lean-based automated theorem proving system for Machine Learning.
View ProjectSkills
Python
Lean
Go
TypeScript
PostgreSQL
MySQL
Git
Docker