lean-agent is an open-source Python package that provides autonomous invariant enforcement via IES optimization. It is designed for developers who need to ensure code correctness and formal verification in their projects. The tool is distributed under the MIT license and can be used via the command line.
Latest indexed changes and source events
Other apps tracked under the same category.
