djvelleman / HTPIwL

Book about using Lean with How To Prove It
17Updated 2 months ago

Alternatives and similar repositories for HTPIwL:

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