Stack Exchange

Ptival

San Diego, CA

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

CS student.

More on my web page.

SOreadytohelp

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

28
string to list of char
stackoverflow.com

20
Software Transactional Memory - Composability Example
stackoverflow.com

19
Introduce previously proved theorem as hypothesis
stackoverflow.com

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

17
Differences between Coq and Agda
stackoverflow.com

15
“Verbose” auto in Coq
stackoverflow.com

13
A Haskell interpreter /w type definitions
stackoverflow.com

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

10
Limitations of Fixpoint in Coq?
stackoverflow.com

10
How should I refactor this Haskell code to make it more elegant?
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
Understanding the Haskell as-pattern
stackoverflow.com

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

8
Coq — understanding `forall` syntax
stackoverflow.com

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

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

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

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

7
Specification Language vs Programming Language
stackoverflow.com

6
What's the right/left inverse of a function?
stackoverflow.com

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

6
Redundant clause in match
stackoverflow.com

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

6
Impossible pattern in writing implicit proof object in coq
stackoverflow.com

6
How to highlight or mark changed lines in Vim?
stackoverflow.com

6
Proof by cases using Coq
stackoverflow.com

6
Finite map example
stackoverflow.com

5
How can I count vowel groups in a sentence using Haskell
stackoverflow.com

1 2