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.
My proof ended up longer than expected, but good kata.
Fixed in Pending Translation Update.
Please approve the update.
Enable Coq version 8.15
Permit Coq Version 8.15
Coq 8.15 should be enabled.
Coq 8.15 should be permitted.
Merged
Very neat Kata.
Fix for namespace issues in Clojure translation
Please review and approve when possible.
Updated TypeScript version and fixed merge conflicts of TypeScript translation by deleted user.
updated typescript version and fixed merge conflicts.
TypeScript translation based on existing JavaScript translation.
Fixed description merge problems of Clojure Translation by a deleted user.
fixed description merge problems.
TypeScript translation based on existing JavaScript version.
Loading more items...