Auguste Poiroux
Results
1
repositories owned by
Auguste Poiroux
LeanInteract
86
Stars
7
Forks
86
Watchers
LeanInteract: A Python Interface for Lean 4
