Foundation

Formalizing mathematical logics in Lean 4.

Summary

Main Result in this repository. More results and details are in Book and Doc.

Documents

Financial Supports

Any financial supports would greatly helps us. If you considered, please contact us: palalansouki@gmail.com

Previous Sponsors

Companies and organizations that have supported us in the past.