GitHub repository: JoshuaGoldberg/secure-compilation-project
Primary language: Coq
Description: Fun Rocq activities