vimでCoqを使えるようにする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.
- Yuji Ueki@unhappychoice
Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer
- @x_x_l
ソフトウェア開発職してます. 大学時代は,理論計算機科学に興味を持っていましたが,興味を持っただけで終わった...