GitHub repository: DarkVanityOfLight/Logic-and-Semantic-of-programming-languages
Primary language: Python
Created: 2023-11-01T14:00:59Z
Description: In this repository I gather the formalized proofs from my Logic and Semantic classes.