WSLにcoq-jupyterをインストールするlikers
- @tianshanminato965
[株式会社ゼンク](https://zenk.co.jp/) の新米エンジニア
- Dr. Kiyoshi Ogawa@kaizen_nagoya
I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.
- とまと けちゃっぷかけた@kinusa
北大数学科4年
- Hiroyuki Yoshida@yuki-yoshida
Facebookを見てね。 なお、私が投稿する記事の内容は個人の意見であり、所属する企業の見解を代表するものではありません。