phop — discover & prove scientific laws, in your browser

Paste data → a closed-form law is discovered, then canonicalized, range- and root-certified, and its properties proved by an SMT solver — the whole pipeline in pure Rust + WebAssembly. The Julia/Python symbolic-regression stack can't ship this client-side.

No server. Discovery & proofs run on this page. No install. Just a browser. No trace. Close the tab and nothing remains.

Examples

Data (CSV — header row, last column is the target)