CoqParty Coq Party : ATND 参加して発表してきました。 発表『エンジニア・ミーツ・Coq プラスワン』 『すぐわかる形式手法』、『エンジニア・ミーツ・Coq』という二つのお話をさせて戴きました。 当初は『エンジニア・ミーツ・Coq』というスライド一本の予…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。