Skip to content

Commit 1a64050

Browse files
rzachrzach
committed
revise propositions-as-types, move to content/proof-theory
1 parent febb97d commit 1a64050

20 files changed

Lines changed: 1146 additions & 764 deletions

‎content/intuitionistic-logic/intuitionistic-logic.tex‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,8 +14,6 @@
1414

1515
\olimport[tableaux]{tableaux}
1616

17-
\olimport[propositions-as-types]{propositions-as-types}
18-
1917
\OLEndPartHook
2018

2119
\end{document}

‎content/intuitionistic-logic/propositions-as-types/introduction.tex‎

Lines changed: 0 additions & 109 deletions
This file was deleted.

‎content/intuitionistic-logic/propositions-as-types/proof-terms.tex‎

Lines changed: 0 additions & 71 deletions
This file was deleted.

‎content/intuitionistic-logic/propositions-as-types/proofs-to-terms.tex‎

Lines changed: 0 additions & 195 deletions
This file was deleted.

0 commit comments

Comments
 (0)