qed on Linux

[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,