GitHub repository: ranit8/isabelle-CLT
Primary language: TeX
Description: working directory for Isabelle proof scripts