3 ms·
Mathematical Logic Through Python
- jonjacky 2y agoMay 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/ https://jon-jacky.github.io/FLiP/www/ 2. https://github.com/jon-jacky/FLiP/ https://github.com/jon-jacky/FLiP/