GitHub repository: kappelmann/Isabelle-Set
Primary language: Isabelle
Created: 2021-06-21T17:39:40Z
Description: Soft types for Isabelle - when one type just won't cut it