Closed zachary-kent closed 1 year ago
Adds more notations for option tactics and uses them in different interpreter soundness proofs.
Adds more notations for option tactics and uses them in different interpreter soundness proofs.