GitHub repository: mbizo1/LPL-solutions
Description: Solutions for the book "Language Proof and Logic".