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.
9 Lean 4 results: 9 proofs in exact arithmetic. These results concern the algorithm’s stated model and assumptions.
View algorithm properties and proofs