lean-verbose icon indicating copy to clipboard operation
lean-verbose copied to clipboard

Published 20 hours ago • verified publisher icon PatrickMassot
→

Metadata

Very controlled natural language tactics for Lean

Results 0 lean-verbose issues
Sort by recently updated
recently updated
newest added

← Metadata

50
Stars
1
Forks
Watchers

Owner

verified publisher icon PatrickMassot

Metadata

Very controlled natural language tactics for Lean

Back