'ssreflect' Questions - SpiceQA

Questions Tags Users Badges

ssreflect

15 Questions

Newest Active Unanswered Frequent

How to use Coq arithmetic solver tactics with SSReflect arithmetic statements

user_25534160

• asked Apr 4, 2020

2

1

322

ssreflect coq-tactic coq

Coq/SSReflect: How to do case analysis when reflecting && and /\

user_88918890

• asked Oct 5, 2019

3

2

315

ssreflect coq-tactic coq

How should a user-defined enumerated type be made `finType`?

user_49314910

• asked Oct 3, 2019

4

1

169

ssreflect coq

Proving isomorphism between Martin-Lof's equality and Path Induction in Coq

user_31019670

• asked Aug 3, 2017

4

1

144

ssreflect coq equality

How to install SSReflect and MathComp in Linux?

user_37742970

• asked May 13, 2017

10

2

1950

ssreflect coq linux

Prev
1
2 (current)

Hot Questions