定理証明支援の紹介likers
- @tianshanminato965
[株式会社ゼンク](https://zenk.co.jp/) の新米エンジニア
- 戸山 香澄@ImKasumi
戸山香澄です!15歳です!
- Kenjiro Sugimoto@wosugi
AcadexitしてIT企業のエンジニアになったらレイオフされて今は技術系コンサル
- @pogin503
EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/
- @tochu-cha
EmacsでGaucheを勉強中。
- @linuxmetel
Debian GNU/Linux sid を使っています。 Emacs派です 初心者です。 主にC++やCommon Lispを使っています。
- @mrsekut
型と圏がすきです Qiitaはほぼ見る専です
- じどはん@Automaten_IT
新米SREです。いろいろ興味があります。
- @jefmatle
#Blockchain #Web3.0 Researcher at a Financial institution #Udacity #BlockchainDeveloper #Nanodegree on 2020/1/26