<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-08-05 14:21:30Mathematical logic Theoretical computer science Software Formal methods Proof assistants Automated theorem proving Mathematical proof First-order logic Proof True quantified Boolean formula Frama-C Type theory |
Add to Reading List |
Designing Proof Formats A User’s Perspective Sascha B¨ ohme