PatrickMassot / lean-verboseLinks

Very controlled natural language tactics for Lean
64Updated last year

Alternatives and similar repositories for lean-verbose

Users that are interested in lean-verbose are comparing it to the libraries listed below

Sorting: