Leonardo de Moura

Results 1 repositories owned by Leonardo de Moura

lean

18
Stars
2
Forks
18
Watchers

Lean Theorem Prover