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

agda

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