Skip to content

Proofs

Latest
Compare
Choose a tag to compare
@AaronFeickert AaronFeickert released this 14 May 19:17
· 1 commit to main since this release
25b54ef

Adds complete proofs of substitution and transposition detection. Fixes a missing initial value in the algorithm.