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 ... 7 8 9
Title Δ
OCaml string and Coq string (Extraction from Coq to OCaml) 0.00
Inversion produces unexpected existT in Coq 0.00
Coq tactic for record equality? 0.00
Using remember in induction over proposition gives 'ill-typed&#... -0.24
Proof of Paper, Scissor, Rock as Monoid Instance in Coq +4.03
How to properly load type Int from Coq.ZArith.Int? 0.00
the decidable equality definitions for mutually defined inductive t... +4.07
Coq: Ltac definitions over variable argument lists? 0.00
coq- Prove some expressions do not terminate 0.00
Coq - induction on lists with a function applied to each element 0.00
Testing equal to 0%R with real numbers in Coq 0.00
How to apply a Coq hypothesis of the form A = B -> C = D to a su... 0.00
Coq: Boolean Comparison of Integers 0.00
Remove arrow in Emacs' ProofGeneral mode for Coq 0.00
General recursion and induction in Coq 0.00
Coinduction and dependent types 0.00
Why must coq mutually inductive types have the same parameters? 0.00
How to indicate decreasing in size of two coq inductive types 0.00
How to define Notation format in Coq using { 0.00
convert a list of integer to a list of natural numbers +0.06
Structural recursion on a dependent parameter 0.00
Deadly Diamond of Death in Coq 0.00
Coq string sort lemmas 0.00
Proving non-existence of an infinite inductive value in Coq 0.00
__ in Ocaml extracted from Coq 0.00
Proof by cases using Coq -3.78
Coq Qed tactics get hang 0.00
Node with Opa app crashes when trying to connect to unavailable Cou... 0.00
Emacs: different tab indent settings in different modes 0.00