A Python library for verifying code properties using natural language assertions.
Math doesn't hallucinate. Formal verification for AI-generated Python code.
