Merged
`k_induction(...)` now returns `property_checker_resultt`#940tautschnig merged 1 commit intomainfrom k-induction-property-checker-result
tautschnig merged 1 commit intomainfrom k-induction-property-checker-result
k_induction(...)
now returns property_checker_resultt
#940
Merged
tautschnig merged 1 commit intomainfrom k-induction-property-checker-resultJan 21, 2025
+17-12
Commits cannot be loaded
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.