OAI/Analysis/MatrixSigning/Encoding/WordOperations.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CurrentKS.WordOperations.appendProgram line 11
2. def OAI.CurrentKS.WordOperations.appending line 12
3. def OAI.CurrentKS.WordOperations.emptyDispatch line 27
4. def OAI.CurrentKS.WordOperations.emptyFlag line 29
5. def OAI.CurrentKS.WordOperations.emptyProgram line 30
6. lemma OAI.CurrentKS.WordOperations.emptyFlag_spec line 33
7. def OAI.CurrentKS.WordOperations.isEmpty line 47