仕事が一区切りついてなりより。まあ9月から相当手抜いてました。すいません。 次の仕事の話を聞いてきたけど、かなり地雷臭いな。 なんとかProp_J.vを追加練習問題除いて終了。 Logic_J.vに入った。あいかわらず証明オブジェクト書くところで超モヤモヤして…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。