OAI/Analysis/MatrixSigning/Machines/BinaryStackDeterministic.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.KS.W04.BinaryStackMoves.clear_coinIndependent line 12
2. theorem OAI.KS.W04.BinaryStackMoves.move_coinIndependent line 16