Alex Rivera | Logout

Questions tagged theorem-proving

3 questions

Sort by: Newest Votes Active
14
votes
2
answers

Has anyone tried proving Z3 with Z3 itself?

z3 theorem-proving theorem
asked 2011-08-03T09:56:23.760
12
votes
8
answers

Using theorem provers to find attacks

security theorem-proving
asked 2010-09-09T17:09:12.107
9
votes
6
answers

Interactive math proof system

math rocq-prover theorem-proving isabelle proof-system
asked 2009-04-10T19:37:31.127