Initial commit of code for the broken, fixed, and completeness proof of Godels System T. master
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 8 May 2012 13:12:17 +0000 (14:12 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 8 May 2012 13:12:17 +0000 (14:12 +0100)
commite9df241c12d4f8c64fbb849f8bb4cb8108c4d9fa
treefa95766d9ea334b0dc5e725246a0e1f2f7ecb144
Initial commit of code for the broken, fixed, and completeness proof of Godels System T.
CompleteGodelT.agda [new file with mode: 0644]
GodelT.agda [new file with mode: 0644]
GodelTBroken.agda [new file with mode: 0644]