Pierre Courtieu
Results
21
repositories owned by
Pierre Courtieu
LibHyps
19
Stars
3
Forks
Watchers
A Coq library providing tactics to deal with hypothesis
