2 ms·
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
by jonjacky 2y ago
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/ https://jon-jacky.github.io/FLiP/www/
2. https://github.com/jon-jacky/FLiP/ https://github.com/jon-jacky/FLiP/