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