[ back to Tom 7 Radar ]

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.
p
o
s
t

a

c
o
m
m
e
n
t
[ Tom 7 Radar  •  Tom 7 on Google+  •  on Twitter  •  on Facebook ]