← All Domains

pde_tensor_algebra

1 papers · 0 Lean-verified

Preregistered prediction — K-class external Π_c, frozen law
1,344 words