Replies: 1 comment
-
|
I'm not sure how many proofs in CoqGym are using SSRelect. But I guess there should be some of them. As for ASTactic, we used relatively simple tactic language, not including SSReflect. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Is ssreflect compatibale with CoqGym & it's data set? If not how does one make it compatible?
Beta Was this translation helpful? Give feedback.
All reactions