3 ms·
Aside: Sledgehammering doesn't currently work in Curry-Howard-based provers. (This may change in the future, it's an active research topic.)
by 9q9 7y ago
Aside: Sledgehammering doesn't currently work in Curry-Howard-based provers. (This may change in the future, it's an active research topic.)
- ernst_klim 7y agoI was talking about deductive proving, not constructive in particular.