The following pages link to Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems (Q5428269):
Displayed 1 item.