Name	Name	Last commit message	Last commit date
Latest commit History 4 Commits
Proof 13.12.prf	Proof 13.12.prf
Proof 13.13.prf	Proof 13.13.prf
Proof 13.14.prf	Proof 13.14.prf
Proof 13.2.prf	Proof 13.2.prf
Proof 13.20.prf	Proof 13.20.prf
Proof 13.23.prf	Proof 13.23.prf
Proof 13.24.prf	Proof 13.24.prf
Proof 13.27.prf	Proof 13.27.prf
Proof 13.28.prf	Proof 13.28.prf
Proof 13.29.prf	Proof 13.29.prf
Proof 13.3.prf	Proof 13.3.prf
Proof 13.31.prf	Proof 13.31.prf
Proof 13.4.prf	Proof 13.4.prf
Proof 13.5.prf	Proof 13.5.prf
Proof 13.7.prf	Proof 13.7.prf
Proof 2.17.prf	Proof 2.17.prf
Proof 6.24.prf	Proof 6.24.prf
Proof 6.25.prf	Proof 6.25.prf
Proof 6.26.prf	Proof 6.26.prf
Proof 6.27.prf	Proof 6.27.prf
Proof Conditional 1.prf	Proof Conditional 1.prf
Proof Conditional 2.prf	Proof Conditional 2.prf
Proof Conditional 3.prf	Proof Conditional 3.prf
Proof Conjunction 1.prf	Proof Conjunction 1.prf
Proof Conjunction 2.prf	Proof Conjunction 2.prf
Proof Conjunction 3.prf	Proof Conjunction 3.prf
Proof Conjunction 4.prf	Proof Conjunction 4.prf
Proof Disjunction 1.prf	Proof Disjunction 1.prf
Proof Disjunction 2.prf	Proof Disjunction 2.prf
Proof Existential 1.prf	Proof Existential 1.prf
Proof Identity 1.prf	Proof Identity 1.prf
Proof Negation 1.prf	Proof Negation 1.prf
Proof Negation 3.prf	Proof Negation 3.prf
Proof Negation 4.prf	Proof Negation 4.prf
Proof Universal 1.prf	Proof Universal 1.prf
Proof Universal 2.prf	Proof Universal 2.prf
README.md	README.md
Sentences 1.4.sen	Sentences 1.4.sen
Sentences 11.10.sen	Sentences 11.10.sen
Sentences 11.16.sen	Sentences 11.16.sen
Sentences 11.17.sen	Sentences 11.17.sen
Sentences 11.19.sen	Sentences 11.19.sen
Sentences 11.20.sen	Sentences 11.20.sen
Sentences 11.3.sen	Sentences 11.3.sen
Sentences 11.4.sen	Sentences 11.4.sen
Sentences 11.9.sen	Sentences 11.9.sen
Sentences 14.28.sen	Sentences 14.28.sen
Sentences 14.3.sen	Sentences 14.3.sen
Sentences 14.4.sen	Sentences 14.4.sen
Sentences 3.10.sen	Sentences 3.10.sen
Sentences 3.18.sen	Sentences 3.18.sen
Sentences 3.2.sen	Sentences 3.2.sen
Sentences 3.20.sen	Sentences 3.20.sen
Sentences 3.21.sen	Sentences 3.21.sen
Sentences 3.3.sen	Sentences 3.3.sen
Sentences 7.10.sen	Sentences 7.10.sen
Sentences 7.11.sen	Sentences 7.11.sen
Sentences 7.12.sen	Sentences 7.12.sen
Sentences 7.15.sen	Sentences 7.15.sen
Sentences 7.25.sen	Sentences 7.25.sen
Sentences 9.12.sen	Sentences 9.12.sen
Sentences 9.13.sen	Sentences 9.13.sen
Sentences 9.16.sen	Sentences 9.16.sen
Sentences 9.17.sen	Sentences 9.17.sen
Sentences 9.18.sen	Sentences 9.18.sen
Sentences 9.5.sen	Sentences 9.5.sen
Sentences 9.6.sen	Sentences 9.6.sen
Table 7.2.tt	Table 7.2.tt
World 3.13.wld	World 3.13.wld
World 1.3 .wld	World 1.3 .wld
World 1.3.wld	World 1.3.wld
World 1.4.wld	World 1.4.wld
World 1.5.wld	World 1.5.wld
World 10.22.wld	World 10.22.wld
World 11.11.wld	World 11.11.wld
World 11.12.wld	World 11.12.wld
World 11.13.wld	World 11.13.wld
World 11.2.wld	World 11.2.wld
World 11.38.wld	World 11.38.wld
World 11.5.wld	World 11.5.wld
World 13.11.wld	World 13.11.wld
World 14.26.wld	World 14.26.wld
World 3.10.wld	World 3.10.wld
World 3.13.wld	World 3.13.wld
World 3.3.wld	World 3.3.wld
World 3.7.wld	World 3.7.wld
World 7.14.wld	World 7.14.wld
World 7.15.wld	World 7.15.wld
World 7.16.wld	World 7.16.wld
World 7.17.wld	World 7.17.wld
World 9.14.wld	World 9.14.wld
World 9.18.wld	World 9.18.wld
World 9.9.wld	World 9.9.wld
World Numerical 1.wld	World Numerical 1.wld
World Numerical 2.wld	World Numerical 2.wld

Name

Last commit message

Last commit date

4 Commits