ポスト

#Isabelle#日本語 で良い #文献 がないんだよな。#seL4 とか見るに、#Coq よりも #有望 なんだろうけれど。社会的に、#形式手法 の実用は、#Ada#契約プログラミング 機能によるものが多いのだろうなあ。 x.com/hatsugai/statu…

メニューを開く
hatsugai ∈ PRINCIPIA@hatsugai

Isabelle 2024、少し不安定かも…

家鴨のジョナサン@JonathanTheDuck

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ