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 ... 4 5 6 7 8 9
Title Δ
Proof irrelevance (2) 0.00
Example for different equality proofs 0.00
Problems with dependent types in Coq proof assistant +0.43
Proof involving unfolding two recursive functions in COQ +0.43
Applying apply tactic to premises instead of the goal 0.00
Proving simple inequality in Ssreflect +1.68
Postulating namespaces in Coq 0.00
Introducing new hypothesis in the premises 0.00
Coq beginner - Prove a basic lemma 0.00
Re-writing without using symmetry tactic 0.00
Lexicographical comparison of tuples of nats 0.00
Getting a stronger induction principle in Coq 0.00
Coq: Proving an application +1.94
How to install Coq 0.00
Why is it impossible to perform induction on a term that is used in... 0.00
Define a 'head' for coinductive type stream in Coq(without... 0.00
The reference "X" was not found in the current environment 0.00
Why can't I use `app` together with `fold_right` in Coq? 0.00
Proving equality on coinductive lazy lists in Coq +0.47
comparing two unequal values in coq 0.00
What is required for Coq to generate an elimination combinator for... +0.45
What exactly is a Set in COQ +0.47
Proof in COQ that equality is reflexivity +1.78
What is the downside of using functional extensionality in COQ 0.00
How do I read the definition of ex_intro? 0.00
How to have a proposition of comparing two 'int' types in C... 0.00
Inductive definition for family of types 0.00
Topological Definition of Continuous in Coq 0.00
How to make sublists in Coq? +0.89
Type that contains all functions of N elements in Coq +0.46
Mix-up of bool and Datatypes.bool after Require Import Omega 0.00
Why can't coq infer the that 0+n=n in this dependently typed pr... +0.46
How to use a tactic with a hypothesis in Coq? 0.00
Proof by counterexample in Coq 0.00
Recursive partial functions in Coq +0.44
An apply that doesn't seem like it should unify is allowed +0.42
How to convert propositional formula to DNF in Coq 0.00
Coq: Error: The reference [Lemma/Theorem] was not found in the curr... 0.00
Definition vs Notation for constants 0.00
COQ identity term which is not eq_refl 0.00
Is this a generalised path induction in COQ? 0.00
How to prove a prove definition in Coq -0.29
What's with the `of` and `&` in the Coq Inductive definition? 0.00
Combine_split from Software Foundations exercise 0.00
Coq "Unknown interpretation for notation" error 0.00
How to proof consistency in a COQ theory 0.00
How to prove (n = n) = (m = m) in Coq? -2.08
How to use an unequality to simplify a if-then-else in Coq? 0.00
Using `dependent induction` tactic to keep information while doing... 0.00
Proving Gauss' theorem for nat in Coq 0.00