Explanation of (a small portion of) Abella proof assistant in Japanese.Read less
![ProofSummit2013 べらべらAbella](https://cdn-ak-scissors.b.st-hatena.com/image/square/4cf8297c1e3768341f6154b778171181eb8a4446/height=288;version=1;width=512/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2Fps2013-130824014833-phpapp02-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds)
Explanation of (a small portion of) Abella proof assistant in Japanese.Read less
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く