Alex Rivera | Logout

Questions tagged theorem

2 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
18
votes
5
answers

cleveref fails for theorem environments sharing the same counter

latex reference counter theorem
asked 2011-06-27T22:07:33.780