MathBrush

MaRDI QIDQ19491swMATHFDO

Official website https://www.scg.uwaterloo.ca/mathbrush/

Described by source

• A preliminary report on the MathBrush pen-math system

Cited in

(2)

• FFES
• Towards verified handwritten calculational proofs (short paper)

This page was built for software: MathBrush