ページ名の変更

[ トップ ]   [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ ]   [ リンク元 ]

定理証明支援系と依存型プログラミング勉強会の名前を変更します。
新しい名前:

     

Site admin: tzik

PukiWiki 1.4.7 Copyright © 2001-2006 PukiWiki Developers Team. License is GPL.
Based on "PukiWiki" 1.3 by yu-ji. Powered by PHP 7.4.16. HTML convert time: 0.001 sec.