🐧
Translating
tora
torahappy
Previous works:
https://torahappy.org/Prophyan/happy/
<br>
<br>
PGP fingerprint
0D7C37495BFF2A579147E99F90C3A99FE31D2459
Japan
Kazuhiko Sakaguchi
pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity
CNRS, ENS de Lyon, UCBL, LIP Lyon, France
Yusuke Kuoka
mumoshu
AWS Container Hero / Maintains actions-runner-controller, helmfile, etc / Wanna be a paid OSS dev someday
@surrealdb, @freee, @actions-runner-controller Kagawa, Japan
Kosuke Tanabe
nabeta
National Institute for Materials Science / Project Next-L Tsukuba, Ibaraki, Japan