Stack Exchange

Ptival

San Diego, CA

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

CS student.

More on my web page.

SOreadytohelp

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

34
Differences between Coq and Agda
stackoverflow.com

31
string to list of char
stackoverflow.com

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

23
Introduce previously proved theorem as hypothesis
stackoverflow.com

21
Software Transactional Memory - Composability Example
stackoverflow.com

21
"Verbose" auto in Coq
stackoverflow.com

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

16
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

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

11
Coq: how to apply one hypothesis to another
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

9
Specification Language vs Programming Language
stackoverflow.com

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

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

8
Coq -- understanding `forall` syntax
stackoverflow.com

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

7
Parsing function application with Happy
stackoverflow.com

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

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

7
Finite map example
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

1 2