StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Arthur Azevedo De Amorim

Rating
1556.89 (6,205th)

Reputation
14,714 (9,614th)

Page: 1 2 3 ... 9

Title	Δ
Proofs of structural properties of arguments in match in coq	0.00
Defining functions inside proof scope	0.00
reduction in the elements of list	0.00
Induction order for relation between three lists	0.00
Simulation of global and local variables in Coq	0.00
Record Subtyping in Coq, questions and references requested	0.00
Arithmetic expressions and big-step semantic	0.00
How can I construct terms in first-order logic using Coq?	0.00
Make two arbitrary variables the same in Coq	+0.41
Functions from empty set in Coq	0.00
Equality on complex functions with complex type	+0.44
Equality on complex functions	0.00
Equality on type which is not inductive type	0.00
Vector: theorem about splitting and appending vectors	+0.42
Take a conjunction of two hypotheses and create a new hypothesis in...	0.00
How to index a tuple with ssreflect ordinals	0.00
Defining Addition Over Integers in Coq	0.00
Vector error : The type of this term is a product	0.00
How do you lookup the definition or implementation of Coq proof tac...	-2.38
Coq: induction principles for void, unit and bool from nat and fin	0.00
What's the exact rule of applying a theorem in Coq?	0.00
define Category in which arrows are parametrised functions using Coq	-1.83
Instance of Ord typeclass for option	0.00
Greatest value in natural number list	0.00
How to get cardinal of ensembles explicitly	0.00
Improving dependently typed reverse function	0.00
Abstraction/typing error resulting from case_eq and rewriting in Coq	0.00
Some help dealing with inject/unject and vector types	-1.32
Dependent pattern match asks for a wildcard instead of proper type	0.00
Some help proving coq function terminates	0.00
How to communicate to Coq that certain types are equal?	0.00
no error with assert (goal) but error with cut (goal)	0.00
Simple syntax for terms of decidable subset types	0.00
How to make an inverse function in coq	0.00
How to prove that (0 = 2) -> false in Coq?	+1.55
Adding infiinity to set of even numbers?	0.00
Prove a constant is even	+2.19
How to use de-morgan law in Coq to replace "not forall" b...	0.00
Is there any support in mathcomp/ssreflect for classical logic	0.00
Conversion from not equal to equal in nat	0.00
strictly positive vs ill-formed regular expressions in Coq	+0.42
Define basic inductive types in coq	+0.43
How proof functions prove?	0.00
polymorphic equality in coq	0.00
Understanding how to prove some lemmas on the regular expressions f...	0.00
How to find value at different indexes	0.00
Implementation of coq command	0.00
Extracting evidence of finiteness from stream in Coq	0.00
Implementing/specifying permutation groups in coq	0.00
How to define an inductive type mutually recursive with a function?	0.00