search

nomeata / incredible

The Incredible Proof Machine
MIT License
358 stars 36 forks source link

Add keyboard shortcut for undo and redo #119

Closed yuxuanchiadm closed 4 years ago

yuxuanchiadm commented 4 years ago

Related to #108