Skip to content

Remove unused import of ProofState in test_lean4_backtracking

5d2d03d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Made tactic parser backwards compatible till Lean 4 v4.15.0 #62

Remove unused import of ProofState in test_lean4_backtracking
5d2d03d
Select commit
Loading
Failed to load commit list.