Skip to content

Commit

Permalink
nit in Decidability
Browse files Browse the repository at this point in the history
  • Loading branch information
@kyoDralliam
kyoDralliam committed Jan 4, 2024
1 parent 3b1f853 commit 0424529
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions theories/Decidability.v
View file
Original file line number Diff line number Diff line change
Expand Up @@ -170,3 +170,5 @@ Proof.
apply implem_conv_complete.
now constructor.
Qed.

Print Assumptions check_conv.

0 comments on commit 0424529

Please sign in to comment.