Comment Comment by f0e4c2f7 By requiring the LLM to prove your requirements true mathematcially.https://github.com/bendlang/bend parent f0e4c2f7 6 days ago
https://github.com/bendlang/bend