Commit 2024-02-20 06:59 21472664

feat: #check tactic (#9902) This provides a tactic version of the #check command. The term provided to #check may refer to local variables in the proof. This is similar to how #find is both a command and a tactic.