Work in progress "First Order Modal Logic" textbook exercises.
Primary LanguageLean
No issues in this repository yet.