facebookresearch / facebookresearch/miniF2F
Support for Coq
Open
- Dominant language
- Objective-C++
- Stars
- 105
- Forks
- 20
- PR merge metrics
- No merged PRs in 30d
Description
Is there any effort for writing these formulations in Coq? I'm not sure if all these problems can be formulated using `mathcomp` or if we need some other Coq library. Any particular reason for not having formulations in Coq?
Contributor guide
Assessment
This issue has not been assessed yet.