Alex Rivera | Logout

Questions tagged isabelle

2 questions

Sort by: Newest Votes Active
10
votes
4
answers

Why won't Isabelle simplify the body of my "if _ then _ else" construct?

isabelle
asked 2013-03-26T01:14:41.123
9
votes
6
answers

Interactive math proof system

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