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