Software Foundations日本語版Wikiへようこそ Software Foundationsは、米国ペンシルバニア大のBenjamin Pierce先生のグループによって作成・公開されている、プログラミング言語Coqに沿ったソフトウェア作成についてのドキュメントです。 ここはその日本語版作成に集まった有志が情報を交換する場です。 日本語版の公開にあたって、Pierce先生のご了解をいただいています。
![Software Foundations 日本語版Wiki](https://cdn-ak-scissors.b.st-hatena.com/image/square/45c4684c76601e94abbe94966d9d5a26153b8fbd/height=288;version=1;width=512/https%3A%2F%2Fimg.atwiki.jp%2F_img%2Fog_image.png)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く