search

ideas-edu / logictools

Logic tools
https://www.bendevries.com/logictools/main
Apache License 2.0
1 stars 0 forks source link

nog een niet herkende constraint #394

Closed josjelodder closed 2 years ago

josjelodder commented 2 years ago

"diagnosetype":"notequiv","message":"check-inductive: check-triple.UserStep \"ihstep\" Nothing linenr:0:no meta var in hypothesis"