thalens
.org
Start Here
Problems
Papers
Blog
Proofs
Graph
About
← All Domains
pde_tensor_algebra
1 papers · 0 Lean-verified
Preregistered prediction — K-class external Π_c, frozen law
1,344 words