Welcome to OGeek Q&A Community for programmer and developer-Open, Learning and Share
Post an Article
Welcome To Ask or Share your Answers For Others

Categories

Recent articles tagged coq

0 votes
1 reply 529 views
coq - How to prove False from obviously contradictory assumptions
posted Oct 24, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 601 views
coq tactic - Decomposing equality of constructors coq
posted Oct 24, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 382 views
coq - Structural recursion on a dependent parameter
posted Oct 24, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 516 views
coq - How to install SSReflect and MathComp in Linux?
posted Oct 24, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 475 views
coq - Difference between type parameters and indices?
posted Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)
To see more, click for the full list of articles or popular tags.
Post an article:
OGeek|极客中国-欢迎来到极客的世界，一个免费开放的程序员编程交流平台！开放，进步，分享！让技术改变生活，让极客改变未来！ Welcome to OGeek Q&A Community for programmer and developer-Open, Learning and Share
Click Here to Ask a Question

Just Browsing Browsing

1.4m articles

1.4m replys

5 comments

57.0k users

Most popular tags

Recent articles tagged coq
Snow Theme by Q2A Market
Powered by Question2Answer
...