Package cl-0.3
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 | 18:02:08 on Wednesday 28 September 2011 |
For more details see the package document.
Gilith OpenTheory Repo, maintained by