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 8 days ago
KokunoYumeto/emmy-noether published a dataset 9 days ago
KokunoYumeto/emmy-noether updated a dataset 11 days ago
KokunoYumeto/open-math-coursesOrganizations
None yet