Hexirp / intheo

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Intheo

Intheo は、依存型を使用するプログラミング言語にして定理証明支援系です。

About


Languages

Language:Haskell 100.0%