Graduate and research-level mathematics courses with complete proofs (CC0), and AI proof drafts with step-by-step checks.
F A
KokunoYumeto
AI & ML interests
None yet
Recent Activity
updated a dataset about 15 hours ago
KokunoYumeto/open-math-courses updated a dataset about 18 hours ago
KokunoYumeto/open-math-proof-checks updated a collection 1 day ago
Open MathematicsOrganizations
None yet