CodePudding
Home
front end
Back-end
Net
Software design
Enterprise
Blockchain
Mobile
Software engineering
database
OS
other
Tags
>
recursioncoq
12-26
Enterprise
Two Coq Problems SOS: one is about IndProp, another has something to do with recursion, I guess
Links:
CodePudding