We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
added dpo diagram
validation text
tactic text
theorem section
expanding theory format
Updated QuantoDerive (markdown)
updated wires
working on wire editing, not happy with it yet
nicer headers
markdown-friendly images
validation
proof steps and heads p2
proof steps and heads
validation stuff
made theorems first-class
added some sections and high-level stuff
tweak
added text about bboxes
intermediate verts
added screen shot
Created QuantoDerive (markdown)