Coqスレat TECHCoqスレ - 暇つぶし2ch16:デフォルトの名無しさん 11/04/11 13:03:53.15 >>15 実はAgdaじゃね？ こっちも依存型なのにCoqよりマイナーなのが悔しいとか。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch