May be of interest: Flip [1][2], a logical framework in Python. A logical framework is a library for defining logics and writing applications such as theorem provers. One Flip application is a proof checker for entering and editing proofs in natural deduction style.
1. https://jon-jacky.github.io/FLiP/www/
2. https://github.com/jon-jacky/FLiP/