A Java editor based on proofs-as-programs (1998)

by A Blewitt
Venue:Unpublished M.Sc. thesis, Department of Artificial Intelligence