GitHub repository: pavas23/Logical-Framework
Primary language: HTML
Description: Logic in CS Assignment.