Welcome to ShenZhenJia Knowledge Sharing Community for programmer and developer-Open, Learning and Share
menu search
person
editAsk a Question
Welcome To Ask or Share your Answers For Others

Categories

Recent questions tagged coq

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - Theorem that finding in a list works properly
thumb_up_alt 0 like thumb_down_alt 0 dislike
720 views 1 answer
asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - Error when referencing type variable from another file
thumb_up_alt 0 like thumb_down_alt 0 dislike
629 views 1 answer
asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - Printing ssrnat's ".+1" definition
thumb_up_alt 0 like thumb_down_alt 0 dislike
688 views 1 answer
asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - prove a lemma sum of all elements of a list l is equal to n, (sortascend n) is equal to n
thumb_up_alt 0 like thumb_down_alt 0 dislike
671 views 1 answer
asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - How to simplify counting relation between natural numbers
thumb_up_alt 0 like thumb_down_alt 0 dislike
581 views 1 answer
asked Mar 6, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - Coq定理证明：Peano算术中的简单分数定律(Coq theorem proving: Simple fraction law in peano arithmetic)
thumb_up_alt 0 like thumb_down_alt 0 dislike
714 views 1 answer
asked Mar 6, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - Coq定理证明：Peano算术中的简单分数定律(Coq theorem proving: Simple fraction law in peano arithmetic)
thumb_up_alt 0 like thumb_down_alt 0 dislike
731 views 1 answer
asked Feb 21, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - Coq定理证明：Peano算术中的简单分数定律(Coq theorem proving: Simple fraction law in peano arithmetic)
thumb_up_alt 0 like thumb_down_alt 0 dislike
604 views 1 answer
asked Feb 19, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - How to simplify counting relation between natural numbers
thumb_up_alt 0 like thumb_down_alt 0 dislike
607 views 1 answer
asked Feb 17, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - How to print 'forall' as 'Π' in a one-time setting in coqdoc?
thumb_up_alt 0 like thumb_down_alt 0 dislike
672 views 1 answer
asked Feb 17, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - How to print 'forall' as 'Π' in a one-time setting in coqdoc?
thumb_up_alt 0 like thumb_down_alt 0 dislike
583 views 1 answer
asked Feb 17, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - How to print 'forall' as 'Π' in a one-time setting in coqdoc?
thumb_up_alt 0 like thumb_down_alt 0 dislike
563 views 1 answer
asked Jan 29, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - Why do Calculus of Construction based languages use Setoids so much?
thumb_up_alt 0 like thumb_down_alt 0 dislike
562 views 1 answer
asked Jan 29, 2021 in Technique[技术] by 深蓝 (71.8m points)
coq - Why do Calculus of Construction based languages use Setoids so much?
thumb_up_alt 0 like thumb_down_alt 0 dislike
771 views 1 answer
To see more, click for the full list of questions or popular tags.
Ask a question:
Welcome to ShenZhenJia Knowledge Sharing Community for programmer and developer-Open, Learning and Share

Just Browsing Browsing

548k questions

547k answers

4 comments

86.3k users

Most popular tags

Theme made by Momin Raza, Modified by Ostack
Powered by Question2Answer
...