GitHub
A Python library for verifying code properties using natural language assertions.
Snapshot: 2026-04-01
[](https://polish-open-source.pl/latest)