https://coq.inria.fr/ would be a good choice for proof assistance, I believe