Foras Labs
Coming soon. An AI writes the logic; a theorem prover decides.
cryptopatrick.com