Patrick Massot

icon location Paris

Results 2 repositories owned by Patrick Massot

lean-verbose

50
Stars
1
Forks
Watchers

Very controlled natural language tactics for Lean

verified publisher icon PatrickMassot

verbose-lean4

40
Stars
5
Forks
Watchers

Natural language tactics to teach mathematics using Lean 4

verified publisher icon PatrickMassot