GitHub repository: spechub/Hets-lib
Primary language: Isabelle
Description: Basic libraries and other examples