Commit 6e0eb1f1 authored by Florian Rabe's avatar Florian Rabe

no message

parent 85f0bc9b
document http://docs.omdoc.org/examples/logic/pl.omdoc
Declares http://docs.omdoc.org/examples/logic/pl.omdoc http://docs.omdoc.org/examples/logic/pl.omdoc/opaque_-662048115
Declares http://docs.omdoc.org/examples/logic/pl.omdoc http://docs.omdoc.org/examples/logic/pl.omdoc/opaque_-1573761385
Declares http://docs.omdoc.org/examples/logic/pl.omdoc http://cds.omdoc.org/examples?PL
Declares http://docs.omdoc.org/examples/logic/pl.omdoc http://docs.omdoc.org/examples/logic/pl.omdoc/opaque_380314106
......
namespace http://cds.omdoc.org/examples❚
@_title Propositional Logic in MMT❙
@_author Florian Rabe❙
/T
Intuitionistic propositional logic with natural deduction rules and a few example proofs ❚
......@@ -7,6 +10,7 @@ Intuitionistic propositional logic with natural deduction rules and a few exampl
We start with the syntax of propositional logic.❚
theory PL : http://cds.omdoc.org/urtheories?LF =
# :types The Basic Concepts❙
/T the type of propositions ❙
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment