什么时候增加交互式定理证明的语言，比如Isabelle、lean、coq #195
liuxingpeng520521
started this conversation in
Ideas
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
什么时候增加交互式定理证明的语言，比如Isabelle、lean、coq
Beta Was this translation helpful? Give feedback.
All reactions