Skip to content

Commit

Permalink
adding proof by cases example
Browse files Browse the repository at this point in the history
  • Loading branch information
@josd
josd committed Dec 11, 2024
1 parent 1e35a80 commit 6c342d3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion reasoning/proof-by-cases/README
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@
Proof by cases
--------------

See https://en.wikipedia.org/wiki/Proof_by_exhaustion
Using log:allPossibleCases and log:forAllIn to deal with disjunction.

0 comments on commit 6c342d3

Please sign in to comment.