Skip to content

feat: add support for proving predicates#1065

Open
themighty1 wants to merge 4 commits intodevfrom
feat/integrate_predicate_with_example
Open

feat: add support for proving predicates#1065
themighty1 wants to merge 4 commits intodevfrom
feat/integrate_predicate_with_example

Commits

Commits on Dec 11, 2025

Commits on Dec 12, 2025