p
e
r
s
o
n
a
l |
Twelf!
(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. |  |
|
|
|
|