SimonBoulier
Results
1
repositories owned by
SimonBoulier
TypingFlags
16
Stars
0
Forks
Watchers
A Coq plugin to disable positivity check, guard check and termination check
