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