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 709 views
coq - Theorem that finding in a list works properly
posted Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 614 views
coq - Error when referencing type variable from another file
posted Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 678 views
coq - Printing ssrnat's ".+1" definition
posted Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 568 views
coq - How to simplify counting relation between natural numbers
posted Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 594 views
coq - How to simplify counting relation between natural numbers
posted Feb 19, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 665 views
coq - How to print 'forall' as 'Π' in a one-time setting in coqdoc?
posted Feb 17, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 571 views
coq - How to print 'forall' as 'Π' in a one-time setting in coqdoc?
posted Feb 17, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 552 views
coq - How to print 'forall' as 'Π' in a one-time setting in coqdoc?
posted Feb 17, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 552 views
coq - Why do Calculus of Construction based languages use Setoids so much?
posted Jan 29, 2021 in Technique[技术] by 深蓝 (71.8m points)
0 votes
1 reply 760 views
coq - Why do Calculus of Construction based languages use Setoids so much?
posted Jan 29, 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
...