Skip to main content

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
54
Difference between type parameters and indices?
stackoverflow.com

37
Differences between Coq and Agda
stackoverflow.com

31
string to list of char
stackoverflow.com

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

24
Introduce previously proved theorem as hypothesis
stackoverflow.com

22
"Verbose" auto in Coq
stackoverflow.com

21
Software Transactional Memory - Composability Example
stackoverflow.com

17
Understanding the Haskell as-pattern
stackoverflow.com

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

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

13
A Haskell interpreter /w type definitions
stackoverflow.com

12
Coq: how to apply one hypothesis to another
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 do inductive proposition work 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
Coqide Error: Compiled library Basics.vo makes inconsistent assumptions over library
stackoverflow.com

9
Specification Language vs Programming Language
stackoverflow.com

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

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

8
Parsing function application with Happy
stackoverflow.com

7
Redundant clause in match
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

1 2