Hexirp / intheo

Intheo

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