Here are some of my solutions to exercises in the Tutorial section of the documentation of the Arend Theorem Prover, especially those that are related to HoTT. Exercises whose similar ones are covered by PLFA will most likely not be solved here again in Arend.
-
Notifications
You must be signed in to change notification settings - Fork 0
Arend Tutorial exercise solutions
License
ShreckYe/arend-tutorial-exercise-solutions
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Arend Tutorial exercise solutions