From The Twelf Project
Jump to: navigation, search

This is obviously a huge and impressive body of code, but it could use a lot more descriptive text. In particular, there should be an introduction that says what Lily is (and point to a paper) along with some context of what will be proved. It would also make sense to describe in English the important theorems that you prove, when they come up. Otherwise I don't think there's any way anybody can get anything out of it.  — Tom 7 17:32, 19 October 2006 (EDT)