HackerTrans
トップ
新着
トレンド
コメント
過去
質問
紹介
求人
ログイン
spheversion
no profile record
コメント
spheversion
·
2 年前
·
議論
Just a quick comment to point out that the formal proof [4] is in fact complete.