Y
Hacker News
new
|
ask
|
show
|
jobs
Giving LLMs a Formal Reasoning Engine for Code Analysis
(
yogthos.net
)
3 points
by
davidjade
14 days ago
1 comments
davidjade
14 days ago
Project source is here:
https://github.com/yogthos/chiasmus
link