Stack Exchange

Ptival

San Diego, CA

http://cs.ucsd.edu/~vrobert

CS student.

More on my web page.

SOreadytohelp

top accounts reputation activity bookmarks subscriptions
Top Questions
Top Answers
45
Difference between type parameters and indices?
stackoverflow.com

31
string to list of char
stackoverflow.com

24
Find the definition and notations like ++ in Coq
stackoverflow.com

24
Differences between Coq and Agda
stackoverflow.com

21
Introduce previously proved theorem as hypothesis
stackoverflow.com

20
Software Transactional Memory - Composability Example
stackoverflow.com

18
“Verbose” auto in Coq
stackoverflow.com

13
Understanding the Haskell as-pattern
stackoverflow.com

13
A Haskell interpreter /w type definitions
stackoverflow.com

12
Coq - use Prop (True | False) in if … then … else
stackoverflow.com

12
How to set context to rxjs subscribe callback function?
stackoverflow.com

11
How should I refactor this Haskell code to make it more elegant?
stackoverflow.com

10
Limitations of Fixpoint in Coq?
stackoverflow.com

10
How to instantiate a variable of forall in a hypothesis in Coq?
stackoverflow.com

10
Unable to find an instance for the variable
stackoverflow.com

10
Coq: how to apply one hypothesis to another
stackoverflow.com

9
Coqide Error: Compiled library Basics.vo makes inconsistent assumptions over library
stackoverflow.com

8
Coq — understanding `forall` syntax
stackoverflow.com

7
Specification Language vs Programming Language
stackoverflow.com

7
How do inductive proposition work in Coq?
stackoverflow.com

7
Relation between types prod and sig in COQ
stackoverflow.com

7
OCaml functors :: counter-intuitive behaviour
stackoverflow.com

7
How to get the shortest palindrome of a string
stackoverflow.com

7
Proof by cases using Coq
stackoverflow.com

6
Find triangle in the graph
stackoverflow.com

6
What forms of goal in Coq are considered to be “true”?
stackoverflow.com

6
Prop and bool in Coq
stackoverflow.com

6
What is the exactly the term “10” in Coq?
stackoverflow.com

6
Redundant clause in match
stackoverflow.com

6
Finite map example
stackoverflow.com

1 2