https://github.com/shreckye/arend-tutorial-exercise-solutions

Arend Tutorial exercise solutions
https://github.com/shreckye/arend-tutorial-exercise-solutions

arend arend-lang arend-tutorial

Last synced: 3 days ago
JSON representation

Arend Tutorial exercise solutions

• Host: GitHub
• URL: https://github.com/shreckye/arend-tutorial-exercise-solutions
• Owner: ShreckYe
• License: mit
• Created: 2021-06-10T08:40:43.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2021-07-08T10:56:21.000Z (over 3 years ago)
• Last Synced: 2024-11-17T22:20:25.461Z (2 months ago)
• Topics: arend, arend-lang, arend-tutorial
• Homepage:
• Size: 86.9 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Arend Tutorial exercise solutions

Here are some of my solutions to exercises in the [Tutorial](https://arend-lang.github.io/documentation/tutorial) section of the documentation of the [Arend Theorem Prover](https://arend-lang.github.io/),

especially those that are related to HoTT.

Exercises whose similar ones are covered by [PLFA](https://plfa.github.io/) will most likely not be solved here again in Arend.