Kata Training

Loading Left, left! Right, right! Comp! Symmetric! Q!E!D!

1 kyu

Loading Left, left! Right, right! Comp! Symmetric! Q!E!D!

1 kyu

Left, left! Right, right! Comp! Symmetric! Q!E!D!

49ice10001 Issue Reported

Language

Agda (Beta)
Language Version

- VIM
- EMACS

Loading description...

Theorem Proving

Fundamentals

Tutorials

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit