GitHub - HAL-Institute/OpenQED-Data: Repository for the Proofs and Problems Hosted on OpenQED.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.github		.github
OpenQED		OpenQED
meta		meta
scripts		scripts
.gitignore		.gitignore
OpenQED.lean		OpenQED.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
pyproject.toml		pyproject.toml
uv.lock		uv.lock