Does anyone know anything about the fork of LyX for Structured Derivations? The research group driving Structured Derivations offers a version of LyX that's been extended to make working with proofs especially easy [here][imped.fi] but it's only available as a Windows executable. I need something that will run on Mac or Linux, and I'm happy to build it on my own—I just can't figure out where to go to get more information.
In case it's relevant, I'm running LyX 2.0.4 on Mac OS X Mountain Lion. Thank you for any help! --Josh T [imped.fi]: http://www.imped.fi/wordpress/?page_id=26&lang=en
