GitHub repository: Dacit/isabelle-benchmark
Primary language: TeX
Created: 2022-02-03T14:06:09Z
Description: Isabelle user benchmark.