2 ms·Giving LLMs a Formal Reasoning Engine for Code Analysis3 points by davidjade 6mo agodavidjade 6mo agoProject source is here: https://github.com/yogthos/chiasmus https://github.com/yogthos/chiasmus