StackRating

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

Anton Trunov

Rating
1532.95 (16,107th) 		Reputation
12,306 (11,942nd)
Page: 1 ... 5 6 7 8
Title Δ
Unfolding nested definitions in Coq 0.00
what's the correct usage for Coq "local application of tac... 0.00
Call by name vs normal order 0.00
What's the difference between revert and generalize tactics in... +3.73
What's the difference between logical (Leibniz) equality and lo... -4.43
How to use Coq aac tactics to prove equalities in the goal? 0.00
rewrite works for integer but not for rationals for Coq aac_tactics 0.00
What is the canonical implementation of System F? 0.00
where is Coq aac_tactics installed? 0.00
Coq: Unknown interpretation for negative integer expressions 0.00
example for introduction pattern (p1 & ... & pn) does not w... 0.00
`No more subgoals, but there are non-instantiated existential varia... +3.65
How do I prove 'S x > 0' from scratch in Coq? +3.68
OCaml: Print a long int list 10 elements per row -3.39
How to apply Fixpoint definitions within proofs in Coq? +3.83
Big_int factorial exception 0.00
Hint for SML type inference 0.00
how to stop a recursive function in this case (SML) -4.22
OCaml: List.iter starts with next element after match +3.89
Inductive definition yields "Ignoring recursive call" 0.00
ocaml - best way to declare a function? 0.00
Merge duplicate cases in match Coq -0.34
Wellfounded induction in CoQ -1.73
Decomposing equality of constructors coq -0.33
OCaml type binding in recursive modules +4.63
From an Inductive predicate to list A -> list A -> bool -4.25
ocaml unbound constructor type error from type definition 0.00
Weakening hypothesis without a cut +3.71
OCaml unable to load "extLib.cma" from toplevel 0.00
Solving polynomial equation systems in Coq +3.79
Simplify assumption 0.00
Using reflexivity in Coq 0.00
Purpose of maximal vs non-maximal implicit arguments 0.00
Apply partially instantiated lemma -4.19
Apply partially instantiated lemma +1.81
Find the most general types of the following lambda calculus terms 0.00
Matching on unary data constructors in Ltac -2.88
SML/NJ: Extracting a number's digits into an int list 0.00
I want to prove uncurry(curry(f)) = f, curry(uncurry(g)) = g with u... 0.00
Why is the type inferred for my ML function different than I expect? 0.00
How to add to both sides of an equality in Coq -0.15
Lambda Calculus: build a function that takes more arguments with ea... 0.00
How to make sublists in Coq? -2.86
How to implement Church encoding division in haskell? 0.00
Using the y combinator in haskell 0.00
lambda calculus in scala +4.25
Is it possible to split a set of recursive functions into 2 files i... +3.82
Counting number of different elements in a list in Coq +3.92
How to find inside a list of lists a list with a single element +4.34
Well typed and ill typed lambda terms 0.00