SpiceQA
Questions
Tags
Users
Badges
formal-verification
31 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Why can't programs be proven?
user_40106
0
•
asked Jan 25, 2009
61
31
13021
formal-verification
axiom
proof
theory
math
Prev
Prev
1
2
3
4
(current)
Hot Questions