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