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