[Schijvenaars] wanted his slider to be more compact and therefore more portable, so he designed and 3D-printed a 3-axis pantograph mechanism. The video below shows the slider panning the camera ...

Pantograph provides interfaces to execute proofs, construct expressions, and examine the symbol list of a Lean project for machine learning. See documentations for design rationale and references. The ...