FormalizedFormalLogic/Foundation - Internet Explorer 2.0

FormalizedFormalLogic/Foundation

https://github.com/iehality/lean4-logic

旧: iehality/lean4-logic

Formalized Formal Logic