| Filename | Latest commit message | Latest commit date |
|---|---|---|
97070fa194
The answer enum added with the per-goal end marker was `Sat`, with a variant `Sat`, which clippy's enum_variant_names flags. The README says proof-rs is clippy-clean on Linux and has two macOS lints, both in proof-cascade's IOReport FFI; renaming the enum keeps that true. Co-Authored-By: Claude Opus 5.5 <[email protected]> |
||
| .. | ||
| proof-cascade | ||
| proof-cli | ||
| proof-conformance | ||
| proof-receipt | ||
| proof-schema | ||
| proof-solvers | ||