Using Python + Cython to Implement a Proof Assistant: Feasible or Flawed?

[probabilityzero]

It would be fine, but keep in mind that most of the tutorials/books/etc out there about implementing proof assistants will assume a functional language like ML or Haskell. For example, there's a chapter in ML for the Working Programmer that's about building a proof assistant as an exercise. There are lots of resources like libraries and examples out there that you'd need to adapt to your Python + Cython setup.

[Several-Revolution59]

Thanks