Giters

larsrh / classy

Type classes for Isabelle/ML (DISCONTINUED)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

isabelle

classy

Service Status
Travis (Linux CI) Build Status

Type classes for Isabelle/ML

About

Type classes for Isabelle/ML (DISCONTINUED)

isabelle

License:MIT License

Languages

Language:Standard ML 75.6%Language:Isabelle 14.4%Language:Scala 10.0%