4 kyu

Ltac practice: The tarai function

30100% of 616dramforever
You have not earned access to this kata's solutions

Solutions are locked for kata ranked far above your rank. Rank up or complete this kata to view the solutions.