Merged
Exercises for Ch.Syntax & Ch.Elaboration#87arthurpaulino merged 11 commits intoleanprover-community:masterfrom lakesare:lakesare_exercises_2
arthurpaulino merged 11 commits intoleanprover-community:masterfrom lakesare:lakesare_exercises_2
Exercises for Ch.Syntax & Ch.Elaboration#87
Merged
arthurpaulino merged 11 commits intoleanprover-community:masterfrom lakesare:lakesare_exercises_2Mar 14, 2023
+798-152
Commits
Unable to load page.
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.