スマートフォン用の表示で見る

Agda

定理証明機。依存型がすごいらしい。