Skip to content
Snippets Groups Projects
Commit 71410d6f authored by STEVAN Antoine's avatar STEVAN Antoine :crab:
Browse files

remove all mentions to "naive" and "true" recoding (dragoon/komodo!132) 

we are switching
- _naive recoding_ to _$(k, 1)$-re-encoding_
- _true recoding_ to _$k$-recoding_
parent e38dcb17
No related branches found
No related tags found
1 merge request!132remove all mentions to "naive" and "true" recoding
Pipeline #5332 passed
Stage: fmt
Stage: test