-
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedJul 4, 2025 -
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJun 13, 2025 -
sage Public
Forked from sagemath/sageMain repository of SageMath. Now open for Issues and Pull Requests.
Python Other UpdatedJun 12, 2025 -
lean-poly-abc Public
Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4
-
sage-quantum-modform Public
Sage codes for computations related to quantum modular forms
Jupyter Notebook UpdatedOct 8, 2024 -
KT Public archive
Knowledge Tracing Models with PyTorch
-
sage-bhargava-cube Public
SageMath implementation of Bhargava's cube
Jupyter Notebook UpdatedAug 3, 2024 -
posqmf Public
Supplementary Sage codes for the paper "Algebraic proof of modular form inequalities for optimal sphere packings"
-
fhe-org.github.io Public
Forked from FHE-org/fhe-org.github.ioWe are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.
CSS UpdatedApr 17, 2024 -
-
-
grothendieck-kimchi Public
Forked from mikepierce/grothendieck-kimchiEnglish translation (in progress) of Alexander Grothendieck's writing on kimchi
HTML UpdatedDec 20, 2020
{{ message }}