StackRating

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

Lucien David

Rating
1490.21 (4,412,635th) 		Reputation
221 (449,987th)
Page: 1
Title Δ
Coq: Syntax error 'Type' or 'Types' expected after... 0.00
Make two arbitrary variables the same in Coq -3.28
Predicate Logic in Coq 0.00
Apply a lemma to a conjunction branch without splitting in coq 0.00
Three JS - why is line length equal to zero? -3.29
Three.js rope / cable effect - animating thick lines +0.04
How to use the rewrite command in coq for inner subexpressions? 0.00
Why can't Coq unify goal and hypothesis? +0.13
How to make mesh go to position gradually 0.00
How do I set colors for three js instanced objects? -4.05
Orbit Controls is not a constructor 0.00
Three.js rotating an object smoothly inside a function 0.00
Coq - How to prove eqb_neq? 0.00
Three.js Adding Rotation to a group around a pivot 0.00
Threejs: Draw elbow with begin radius and end radius 0.00
three.js Basic Scene not Loading 0.00
Three.js - Scene does not load 0.00
Define basic inductive types in coq -3.40
Find closest point on mesh to other point in Threejs? 0.00
How to realize open formula in Coq? +4.07
Three.js - Need help creating a custom shape 0.00