Popular repositories Loading
-
watkins-nn
watkins-nn PublicWatkins Temperature Theorem: conservation-law constrained optimization on the golden-ratio simplex
Python 1
-
watkins-virelaix-public
watkins-virelaix-public PublicWatkins conservation law: Lean4 formal proofs, watkins-nn library, OEIS sequences, and publications
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.