Kata Training

Loading I~ transport lemmas so right, proving the wrong thing

3 kyu

Loading I~ transport lemmas so right, proving the wrong thing

3 kyu

I~ transport lemmas so right, proving the wrong thing

51ice10001 Issue Reported

Language

Agda (Beta)
Language Version

- VIM
- EMACS

Loading description...

Fundamentals

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit