GitHub repository: xrchz/isabelle-opentheory
Primary language: Standard ML
Created: 2015-10-02T00:18:07Z
Description: Interface between Isabelle/HOL and OpenTheory