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、新しい名称を検討中
私はプログラマです。1040 formに私の職業としてそう書いています -- Ken Thompson