Package cl-0.5
Information
| versions | 0.1→ ··· →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 | 12:43:12 on Thursday 13 October 2011 |
For more details see the package document.
Gilith OpenTheory Repo, maintained by