SyntakticSugar/mathematics

Libary of mathematics :books: formally verified in Lean 4 :white_check_mark:

This repository is not active