CodePudding
Home
front end
Back-end
Net
Software design
Enterprise
Blockchain
Mobile
Software engineering
database
OS
other
Tags
>
theorem-proving
03-27
Net
Haskell theorem proving tactics as indexed functors and monads
Links:
CodePudding