Re:CHIMPO
投稿者：Anonymous Coward (2021年06月17日 19時19分)、コメント先：証明支援システムCoq、新しい名称を検討中
投稿者：Anonymous Coward (2021年06月17日 19時19分)、コメント先：証明支援システムCoq、新しい名称を検討中
投稿者：Anonymous Coward (2021年06月17日 18時37分)、コメント先：証明支援システムCoq、新しい名称を検討中
投稿者：nekopon (2021年06月17日 18時26分)、コメント先：証明支援システムCoq、新しい名称を検討中
投稿者：Anonymous Coward (2021年06月17日 18時15分)、コメント先：証明支援システムCoq、新しい名称を検討中
皆さんもソースを読むときに、行と行の間を読むような気持ちで見てほしい -- あるハッカー