Skip to content

Commit 15edc54

Browse files
committed
Add proofs for Classical Logic, Fix initial states
1 parent c02f55f commit 15edc54

File tree

1 file changed

+1289
-18
lines changed

1 file changed

+1289
-18
lines changed

0 commit comments

Comments
 (0)