lean-verbose
lean-verbose copied to clipboard
Very controlled natural language tactics for Lean
Results
0
lean-verbose issues
Sort by
recently updated
recently updated
newest added
Very controlled natural language tactics for Lean