StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Ptival

Rating
1527.37 (21,161st)
Reputation
7,457 (21,354th)
Page: 1 2 3 ... 4
Title Δ
How to prove a*b*c=a*(b*c) in Coq? 0.00
Unicode symbols fail for Proof-general while writing Coq 0.00
Coq difficulties in defining constructors using coerced types 0.00
Implementing SKI conversion - prove that returning value has promis... +0.47
How to make partition of list in coq 0.00
Specification Language vs Programming Language +1.67
What is the relationship between Gallina and OCaml? 0.00
Why does the following rxjs call to switchMap give a type error? 0.00
How do inductive proposition work in Coq? +0.50
Can composing try and repeat lead to an infinite loop in Coq? +0.49
Are Coq tacticals right associative or left associative? 0.00
Definition in coq using keyword `exists` +0.47
Is it possible to use Haskell's type system (GADTs) to do some... 0.00
Teach coq to check termination -1.98
Try to understand concept of Indexed type family +0.46
Coq: Defining a function by pattern matching on the arity of its ar... 0.00
Proving using contradiction technique 0.00
Load colection of elements into a Tuple in Typescript -1.96
What is the "reactive" way to read file line-by-line 0.00
Rx.Observable.subscribe return a value to observable 0.00
How to set context to rxjs subscribe callback function? 0.00
rxjs - searching in observables 0.00
Rate limit function calls in Typescript -2.26
What's the right/left inverse of a function? +0.42
coq how to use apply to "extract" a implication 0.00
What does the simpl tactic do in COQ 0.00
is there a `eapply`-like tactic that works on `exists` goals in Coq? 0.00
injectivity of inl and inr in standard library 0.00
How to instantiate a variable of forall in a hypothesis in Coq? 0.00
How does 'elim' in Coq work on existential quantifier? 0.00
Coq: how to prove existence of list having existence of an element? 0.00
How to write agda equivalent code of this coq code? 0.00
Using a proven subgoal in another subgoal in Coq 0.00
What does ∀id1 id2 : id, {id1 = id2} + {id1 ≠ id2} mean? +0.46
In coq, how do you declare/prove enumeration elements are distinct? -0.05
Coqide Error: Compiled library Basics.vo makes inconsistent assumpt... 0.00
Using contextual information in Coq pattern matching -0.37
Understanding the Haskell as-pattern +2.15
Redundant clause in match 0.00
How to access the elements of a record in coq 0.00
Ocaml error about 'a list list 0.00
Find the definition and notations like ++ in Coq +0.45
Best way to perform universal instantiation in Coq +1.27
Convert ~exists to forall in hypothesis -0.05
File I/O in Coq via ynot +0.46
What is the exactly the term "10" in Coq? +0.12
Coq proof of forall a b c: nat, b >= c -> a + b - c = a + (b... 0.00
Difference between type parameters and indices? +0.47
How to end this Proof in Coq 0.00
Differences between Coq and Agda 0.00