OtoMADBの開発をしたい一方で、算術的完全性定理の証明（いまだにわかっていない）や証明可能性論理の発展的な話題にも触れたいというジレンマに挟まれて大変なことになっている
少なくともOtoMADBがクローンしてdocker compose up -dなどを済ませればローカルでも動かせるような環境であれば他の開発者（いるのか？）もコントリビュートしやすいとは思うが、現状そうなっていない、主にAuth0周りが原因で…