公理系更新のために既存の公理系を削除

Fork: 0

k-sakoda / ResourceDependencyLogic

Browse code 公理系更新のために既存の公理系を削除 main
1 parent dc582e4 commit 9126af9af2c2d93db62c136b9617a48f506eac0b Sakoda2269 authored on 28 Feb

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/inference/ProofSystem.java

Show line notes below