Name		Name	Last commit message	Last commit date
docs/superpowers		docs/superpowers
experiment		experiment
lean		lean
src/slean_experiment		src/slean_experiment
tests		tests
.gitignore		.gitignore
README.md		README.md
pyproject.toml		pyproject.toml

Repository files navigation

Slean-Mathematics

Slean - Mathematics: a free mathematics learning platform built around natural language, Lean verification, and clear human-readable feedback.

About

Slean - Mathematics: a free mathematics learning platform built around natural language, Lean verification, and clear human-readable feedback.

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages