GitHub repository: logicincs/logicincs.github.io
Primary language: HTML
Description: Web Page for Logic in Computer Science Course