Local-first AI OS and sovereign AI infrastructure. Governance, auditability, and controlled orchestration aligned with the EU AI Act.
Popular repositories Loading
-
-
formal-conjectures-erdos-242-mordell-residues
formal-conjectures-erdos-242-mordell-residues PublicForked from google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Lean
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



