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
-
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