5
votes
Accepted
Is there a simple algorithm for proof search on CoC?
Is there a simple algorithm? yes. Simply enumerate all possibilities. Of course this is pretty intractable in practice.
A proper sub-problem of term generation in CoC is "higher-order unification". ...
- 546
Only top scored, non community-wiki answers of a minimum length are eligible