LPL 📚Solutions to Language, Proof and Logic (2nd Edition) Some answers are wrong, use at your own risk. (or try to solve it and create a pull request)