Public

Structured Proofs-as-Programs

Published • Apr 26, 2007

NobleIDNI6P68W34R30S72

Subject

Mathematical proof

Computer science

Programming language

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!