Package cl-0.1
Information
| versions | 0.1 →0.2→0.3→ ··· → 0.5 |
| description | Combinatory logic example illustrating inductive definitions in HOL4 |
| author | Ramana Kumar <ramana.kumar@gmail.com> |
| license | MIT |
| installed | 14:13:29 on Friday 16 September 2011 |
For more details see the package document.
Gilith OpenTheory Repo, maintained by