GitHub repository: qaware/isabelle-afp-search
Primary language: Scala
Created: 2019-10-04T11:33:41Z
Description: Project to make isabelle and the AFP easily searchable.