qagents
Open-source verification framework: Lean4 theorems + LLM-evaluated predicates over federal and Massachusetts code.
Contributors
qagents is all of us
Our contributors 1
Thank you for supporting qagents.
About
Our team
Imre Kifor
Admin
Thank you for supporting qagents.
Imre Kifor