Feature: Apply multiple interchangers with a single click-and-drag

jamievicary / globular

Globular

37 stars 9 forks source link

Feature: Apply multiple interchangers with a single click-and-drag #3

Open jamievicary opened 8 years ago

jamievicary commented 8 years ago

Many proofs involve long sequences of interchangers, It would help a lot with efficient proof construction if they could be added with a single mouse command.