今後はルヴァン
ACL2
じゃないかな？

俺はそもそもルヴァンで星つけるのも
？
だと考えている民ではある