Writing a kata

Stream: Codewars

[Gihan Marasingha]

I've just written my first kata (a program verification example). Can someone explain what's mean by 'forbidden axioms' and whether this is something I need to concern myself with? Is it recommended to get feedback before publishing the kata or just publish and get feedback in the beta stage?

[Mario Carneiro]

Forbidden axioms is in case you want to have an intuitionistic theorem as a kata

[Mario Carneiro]

Most of the time you don't need it

[Gihan Marasingha]

Thanks! I've published the kata: https://www.codewars.com/kata/6096b89297c91e0007e561e1.

[Eric Wieser]

Isn't it needed to prevent people adding the solution as an axiom?

[Gihan Marasingha]

@Eric Wieser I hope my kata is set up OK to prevent that. I didn't change any of the default settings (nor do I know how to). Please let me know if you see any problems!