(11 Mar 2004 at 15:54)
|I love twelf! I verified my first metatheorem today. I struggled with my code for several hours last night, before taking my question to the top. It turned out to be a naive lack of parentheses introducing unwanted dependencies. But that is fixed and now I am a theorem proving maniac.|
Man, if only one could do a thesis on admissibility of cut for various logics, because I am really good at that now.