GitHub repository: pruvisto/100isabelle
Primary language: SCSS
Created: 2021-02-13T11:17:17Z
Description: The Top 100 Theorems in Isabelle