kex-y / M4000x_LEAN_formalisationLinks

Formalising lecture notes from 1st year Imperial Mathematics course.
12Updated 5 years ago

Alternatives and similar repositories for M4000x_LEAN_formalisation

Users that are interested in M4000x_LEAN_formalisation are comparing it to the libraries listed below

Sorting: