issues
search
Deducteam
/
Logipedia
An encyclopedia of proofs
56
stars
11
forks
source link
Theories for Coqine
#21
Closed
Gaspi
closed
4 years ago