Foundation

Formalizing mathematical logics in Lean 4.

Summary

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

Documents

Sponsor

This project is supported by Proxima Technology.