MathOS/policies at main · Mnehmos/MathOS · GitHub

8000 MathOS/policies at main · Mnehmos/MathOS · GitHub

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
comparator-authority-1.json		comparator-authority-1.json
lean-local-audit-1.json		lean-local-audit-1.json
lean-publication-1.json		lean-publication-1.json
lean-publication-1.sha256		lean-publication-1.sha256

0