Nuprl - Pf K not wf

(3steps) PrintForm Definitions Kleene Sections ClassicalProps(jlc) Doc

At: K not wf

p:. p

By: Analyze 0

Generated subgoal:

1 1. p:
p

About:

(3steps) PrintForm Definitions Kleene Sections ClassicalProps(jlc) Doc