Java Theorem Prover

JTP: An Object Oriented Modular Reasoning System

JTP is a forward-chaining inference engine developed for DAML+OIL at Stanford.

Popular posts from this blog

Converting Array to List in Scala

Lists and arrays in Dart

Null-aware operators in Dart