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