PrIKL: Difference between revisions
Ontolog Forum
imported>PeterYim (init Last updated at: 2012-04-11 18:53:39 By user: PeterYim) |
(No difference)
|
Latest revision as of 07:19, 14 December 2015
[[PrIKL]] is a automatic theorem prover for IKL.
... (details coming!)