[isabelle] Is Isabelle the right tool for me?



Hello,

I'd like to use a proof assistant in order to formalize elementary
theorems from set theory. I think I just need some tool that
understands the rules of inference of natural deduction for
first-order logic.

Is Isabelle the right tool for me?

Thanks.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.