|
About the Learning category
|
|
1
|
466
|
February 12, 2019
|
|
Should we need Coq on Android?
|
|
2
|
37
|
May 4, 2021
|
|
Passing parameters to coqc in dune
|
|
4
|
135
|
April 19, 2021
|
|
Applying a tactic in depth-first manner
|
|
0
|
117
|
April 19, 2021
|
|
Tactics for pattern matching?
|
|
3
|
155
|
April 17, 2021
|
|
Apparently bad installation of coq (im a newbie)
|
|
5
|
158
|
April 16, 2021
|
|
Proving matrix transpose function
|
|
13
|
490
|
April 14, 2021
|
|
Turning "exists unique" into a function in Coq
|
|
3
|
210
|
April 3, 2021
|
|
Bug in the parser?
|
|
5
|
150
|
April 1, 2021
|
|
Not an inductive product
|
|
5
|
162
|
March 31, 2021
|
|
What axioms are built-in?
|
|
6
|
201
|
March 31, 2021
|
|
What does `auto` do differently under the hood?
|
|
1
|
133
|
March 31, 2021
|
|
Rtauto slower than tauto
|
|
0
|
117
|
March 29, 2021
|
|
How to express a list of any type X?
|
|
2
|
145
|
March 28, 2021
|
|
Solve an `exists` goal in a field with proof search?
|
|
3
|
135
|
March 26, 2021
|
|
Reasoning about higher-order program transformation?
|
|
3
|
165
|
March 26, 2021
|
|
Add LoadPath in Coq 8.12.2
|
|
5
|
200
|
March 22, 2021
|
|
Poll about proofgeneral: do you use "holes"
|
|
0
|
147
|
March 22, 2021
|
|
Defining mathematical function implicitly
|
|
4
|
159
|
March 19, 2021
|
|
Error while installing Coq platform
|
|
2
|
150
|
March 18, 2021
|
|
avoiding type error
|
|
11
|
237
|
March 11, 2021
|
|
Syntax with backticks
|
|
1
|
135
|
March 11, 2021
|
|
Equality between inductively defined relations
|
|
1
|
146
|
March 7, 2021
|
|
Parametric rewriting under binders
|
|
0
|
137
|
March 3, 2021
|
|
Contradicting instructions for installation with OPAM
|
|
2
|
169
|
March 2, 2021
|
|
Extraction to Haskell Int type
|
|
1
|
140
|
March 1, 2021
|
|
Mutual Recursion with function unfolding
|
|
4
|
590
|
February 13, 2021
|
|
Application of automatic induction principle versus induction tactic
|
|
2
|
164
|
February 7, 2021
|
|
Inversion of an axiom is bad
|
|
6
|
186
|
February 6, 2021
|
|
Composing Propositions
|
|
1
|
164
|
February 2, 2021
|
