Type classes for Isabelle/ML (DISCONTINUED)
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Type classes for Isabelle/ML
License:MIT License