View topic - qed on Linux

Page 1 of 1

qed on Linux

PostPosted: Tue Aug 13, 2019 6:01 am
by maschoen
I'm wondering if anyone has a port of qed to Linux. I saw a Windows port a while ago. It would be really useful to me if it exists.

Thanks,