Tutorial: Explain control-F and control-B

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project

GNU General Public License v2.0

72 stars 24 forks source link

Closed david-a-wheeler closed 4 years ago

david-a-wheeler commented 4 years ago

Explain control-F and control-B. This is especially important when trying to re-derive existing proofs.

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com

david-a-wheeler commented 4 years ago

I think we're getting close to a final version for a video. Let me know if I've omitted anything really important.