James-Oswald/first-order-modal-logic
Work in progress "First Order Modal Logic" textbook exercises.
Lean
Stargazers
No one’s star this repository yet.
Work in progress "First Order Modal Logic" textbook exercises.
Lean
No one’s star this repository yet.