The original TypeScript implementation can be used directly in JavaScript applications.
The build passed; its output has not been compared with the reference implementation.
Support has not been verified.
This target is under investigation and is not a released format.
22 Lean 4 results: 4 proofs in their stated domains; 9 proofs in exact arithmetic; 1 refused rewrite; 8 counterexamples. These results concern the algorithm’s stated model and assumptions.
View algorithm properties and proofs