Proof assistant support #7362
Unanswered
SomeGuyNamedMay
asked this question in
Ideas
Proof assistant support
#7362
Replies: 0 comments
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.
-
Im aware that this probably isnt going to be a top priority for a while but im going to go ahead and open up an issue to discuss what it might look like.
Beta Was this translation helpful? Give feedback.
All reactions