Commit Graph

4 Commits

Author SHA1 Message Date
78935f7c4a
Remove unnecessary lemma 2020-05-11 04:08:38 +02:00
d44c3995b7
Fix induction axiom in example 2 2020-05-11 02:21:24 +02:00
753cc3e5a8
Improve output 2020-05-07 17:19:42 +02:00
b4339bfcb3 Add examples 2020-05-06 21:39:04 +02:00