Loading collection data...
Collections are a way for you to organize kata so that you can create your own training routines. Every collection you create is public and automatically sharable with other warriors. After you have added a few kata to a collection you and others can train on the kata contained within the collection.
Get started now by creating a new collection.
Coq translation. I changed rationals to reals because it is more convenient to work with real numbers in Coq (and also
arctan
is a real-valued function).As others have pointed out, the assertions are broken. You can either fix it by running
abs/1
on the difference between expected and actual, or, better yet, ditch your home made assertion and use ExUnit'sassert_in_delta
.This kata is broken. You can return anything.
The assert statement is completely wrong, returning any number pass the tests.
k=1
instead ofk=0