issues
search
au-ts
/
cogent
Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158
stars
26
forks
source link
induction principle for Cogent expressions embedded in Coq
#397
Closed
amblafont
closed
3 years ago