GitHub repository: z5146542/TOR
Primary language: Isabelle
Description: Taste of Research learning repository for Isabelle / HOL