Alex Rivera | Logout

Questions tagged proof-system

1 question

Sort by: Newest Votes Active
9
votes
6
answers

Interactive math proof system

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