Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
@Seasawher
Seasawher committed Sep 10, 2024
1 parent 0bbd9ac commit c5f2a1d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ConcreteSemantics/Deterministic.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,4 +25,4 @@ theorem imp_deterministic (S : Stmt) (s t u : State) (h1 : (S, s) ==> t) (h2 : (
rw [eq'] at h1' h1; clear h1 h2 eq' hc
apply hc' (s := u') <;> assumption

sorry
all_goals sorry

0 comments on commit c5f2a1d

Please sign in to comment.