GitHub repository: shplok/CS420
Primary language: Coq
Created: 2025-02-05T20:09:49Z
Description: A collection of assignments and projects from CS420 (Theory of Computing) for Umass Boston (umb)