ERATO MMSD
ERATO Metamathematics for Systems Design Project
(2022-10-29) メニューの通り研究員・プログラマーを募集しています.ぜひ国内からの応募もご検討ください.