Coq Kata which require rank adjustment

Coq Kata which require rank adjustment

N.B. The rank adjustments for Coq Kata are considered complete as of 13/02/2020.

See also: #2001

Kata	Current Rank	@DonaldKellett	@monadius	@Bubbler	Re-ranked (Y/N)	Additional Remarks
Program Verification #1 - The sum of an arithmetic progression	2 kyu	6 kyu	6 kyu	6 kyu	Y
Program Verification #2 - Fibonacci Numbers	3 kyu	6 kyu	6 kyu	6 kyu	Y
Program Verification #4 - Exponentiation by Squaring	2 kyu	4 kyu	4 kyu	4 kyu	Y
This square is perfect	6 kyu	7 kyu	7 kyu	7 kyu	Y
A + A = B + B so A = B? Prove it!	2 kyu	8 kyu	7 kyu	7 kyu	Y	Re-ranked at 6 kyu
Google Interview	4 kyu	8 kyu	8 kyu	8 kyu	Y	Re-ranked at 7 kyu
Magic is Commutative	5 kyu	7 kyu	5 kyu	5 kyu	Y
DNE equivalent to PEM? Prove it!	2 kyu	7 kyu	6 kyu	6 kyu	Y	Re-ranked at 5 kyu
Transitivity	5 kyu	7 kyu	6 kyu	6 kyu	Y
Introduction to bijection, cardinality and infinite sets	2 kyu	5 kyu	4 kyu	4 kyu	Y
Simplifying conditional statements	5 kyu	6 kyu	6 kyu	6 kyu	Y
Simplifying conditional statements, again	4 kyu	5 kyu	5 kyu	5 kyu	Y
Yet another introduction to bisimulation, Chicken's style	4 kyu	6 kyu	5 kyu	5 kyu	Y
Finding the maximal program	4 kyu	5 kyu	5 kyu	5 kyu	Y
EM implies LPO, LPO implies LLPO	2 kyu	5 kyu	5 kyu	5 kyu	Y
Multiples of 3, you say?	4 kyu	5 kyu	5 kyu	5 kyu	Y
A random fact about filtering	5 kyu	7 kyu	7 kyu	7 kyu	Y
Running around in circles, optimizing the Double Negation	4 kyu	6 kyu	5 kyu	5 kyu	Y
Exploring ways to evaluate and compile a trivial language	2 kyu	5 kyu	5 kyu	5 kyu	Y
Rewriting on any binary equivalence relation	3 kyu	5 kyu	4 kyu	4 kyu	Y
Less is Not More	5 kyu	6 kyu	6 kyu	6 kyu	Y