Fleebs-Logo
Details werden geladen...

petra-lang · PyPI

Checks physical designs against their stated claims, with an exact-arithmetic certificate for every PASS and FAIL