Is there a language/interpreter, that checks the validity of a proof with which you can define a model and use whole predicate logic?
Asked
Active
Viewed 29 times
0
-
1Have a look at Coq. https://en.wikipedia.org/wiki/Coq – May 28 '20 at 12:19
-
1Check also Adga or Isabelle. – Rick May 28 '20 at 12:22