Package cl-0.4
Information
| versions | 0.1→0.2→0.3→ 0.4 → 0.5 |
| description | Combinatory logic example illustrating inductive definitions in HOL4 |
| author | Ramana Kumar <ramana.kumar@gmail.com> |
| license | MIT |
| installed | 15:19:21 on Sunday 2 October 2011 |
For more details see the package document.
Gilith OpenTheory Repo, maintained by