Pivot a line
Change one slot, keep the rest, and see the line before you go. Forms, side by side shows what each slot does.
The line
Tap a part for its next turn, again to go; swipe to step, pinch to drop. Keys: arrows, Delete, Enter.
An operator in front
Families it belongs to
Other lines about proof
25 lines one change away
Drop a slot to read what the line says without it.
near: a line sharing a slot uses it · common: common on the shelf
charge the charge in front
-
boon proof{practice}add boon
- add
- lands
- Not on the shelf yet.
- why
- a valence word rides the word
subject the word
-
folio{practice}swap to folio
- swap
- common
- lands
- Not on the shelf yet.
-
theory{practice}swap to theory
- swap
- common
- lands
- Not on the shelf yet.
-
principle{practice}swap to principle
- swap
- common
- lands
- Not on the shelf yet.
-
practice{practice}swap to practice
- swap
- common
- lands
- Not on the shelf yet.
-
?proof{practice}? wonder in front
- mark
- lands
- Not on the shelf yet.
-
~proof{practice}~ potential in front
- mark
- lands
- Not on the shelf yet.
-
^proof{practice}^ ascension in front
- mark
- lands
- Not on the shelf yet.
-
&proof{practice}& subject in front
- mark
- lands
- Not on the shelf yet.
-
$proof{practice}$ substrate in front
- mark
- lands
- Not on the shelf yet.
mode the lens
-
proof[parser]{practice}add parser
- add
- near
- lands
- Not on the shelf yet.
-
proof[card]{practice}add card
- add
- near
- lands
- Not on the shelf yet.
-
proof[boundary]{practice}add boundary
- add
- near
- lands
- Not on the shelf yet.
-
proof[prime]{practice}add prime
- add
- common
- lands
- Not on the shelf yet.
body what it holds
-
proof{literal.ast.lossless}swap to literal.ast.lossless
- swap
- near
- lands
- Not on the shelf yet.
-
proof{claim.evidence.action}swap to claim.evidence.action
- swap
- near
- lands
- Not on the shelf yet.
-
proof{source.tokens.ast}swap to source.tokens.ast
- swap
- near
- lands
- Not on the shelf yet.
-
proof{works.claims.not_claimed}swap to works.claims.not_claimed
- swap
- near
- lands
- Not on the shelf yet.
-
proofdrop what it holds
- drop
- lands
- Not on the shelf yet.
-
proof(practice)turn its walls to ( )
- walls
- lands
- Not on the shelf yet.
- why
- what it holds becomes the scene
-
proof<practice>turn its walls to < >
- walls
- lands
- Not on the shelf yet.
- why
- what it holds becomes where it goes
-
proof[practice]turn its walls to [ ]
- walls
- lands
- Not on the shelf yet.
- why
- what it holds becomes the lens
projection where it goes
-
proof{practice}<exact>add exact
- add
- near
- lands
- Not on the shelf yet.
-
proof{practice}<receipt>add receipt
- add
- common
- lands
- Not on the shelf yet.
-
proof{practice}<china>add china
- add
- common
- lands
- Not on the shelf yet.
Constructs · Specimens · Take one line apart · Learn it a mark at a time