mariainesdff / ai_math_tcsLinks

An introduction to theorem proving in Lean for the impatient.
17Updated 2 months ago

Alternatives and similar repositories for ai_math_tcs

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

Sorting: