MathOS/src/mathos at main · Mnehmos/MathOS · GitHub

FFFF MathOS/src/mathos at main · Mnehmos/MathOS · GitHub

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
__init__.py		__init__.py
__main__.py		__main__.py
canonical.py		canonical.py
cli.py		cli.py
demo.py		demo.py
engine.py		engine.py
finite.py		finite.py
lean.py		lean.py
ledger.py		ledger.py
mcp_server.py		mcp_server.py
models.py		models.py
pedagogy.py		pedagogy.py
trajectory.py		trajectory.py

0