Kata Training

Loading Validate: preorder of mirrored tree = postorder

Draft

Loading Validate: preorder of mirrored tree = postorder

Draft

Validate: preorder of mirrored tree = postorder

Language

Coq
Language Version

- VIM
- EMACS

Loading description...

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit