mirror of
https://github.com/serai-dex/serai.git
synced 2025-12-08 12:19:24 +00:00
While all of Serai can be argued as experimental, the DLEq proof is especially so, as it's lacking any formal proofs over its theory. Also adds doc(hidden) to the generic DLEqProof, now prefixed with __.