Coqを試してみたlikers
- Dina Setiana@dinasetiana
インドネシア人。2017年10月、日本に来て日本語を勉強しています。 コンピュータサイエンス卒業生です。 PHPが主な仕事とするエンジニアです。Laravelをよく使います。 頑張って色々な技術を勉強しています。Stardew Valeyのデベロッパーのように目指します。 フルスタックエンジニアに目指して、社会に役に立ちたい。 (≧ω≦)ゞ
- たくろーどん@takudooon
ハードもソフトも開発するフルスタックエンジニャー😺 日本酒を片手に、鮭とば頬張り、今夜も精進!精進! Zenn 👉https://zenn.dev/takudooon
- @t-hiroyuki
QAエンジニア。バグを未然に、より効率的に防ぐ方法を模索しています。