7 ms·Giving LLMs a Formal Reasoning Engine for Code Analysis3 points by boriskourt 5mo agoboriskourt 5mo agorepo: https://github.com/yogthos/chiasmus https://github.com/yogthos/chiasmus