This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
playground:playground [2011/05/03 13:28] 131.246.41.159 |
playground:playground [2018/05/03 08:39] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== PlayGround ====== | ====== PlayGround ====== | ||
- | |||
- | ==== Theory Template ==== | ||
- | |||
- | <code> | ||
- | theory Name imports Main | ||
- | begin | ||
- | |||
- | ... | ||
- | |||
- | end | ||
- | </code> | ||
- | |||
- | ==== A Few Rules ==== | ||
- | |||
- | \[ | ||
- | \frac{\Gamma\vdash A\qquad \Gamma\vdash B}{\Gamma\vdash A\wedge B} | ||
- | \] | ||