/logic

exercises from the book "logic and proof" by Jeremy Avigad

Primary LanguageLean

Stargazers