推論ができなかったバグを修正

Fork: 0

k-sakoda / ResourceDependencyLogic

Browse code 推論ができなかったバグを修正 main
1 parent 6fb977b commit d8d1b8def4f680c3dcd2ed052ffa265058ff3a30 Sakoda2269 authored on 16 Mar

Patch

Unified Split

Showing 3 changed files

Ignore Space Show notes View src/Main.java

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

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

Show line notes below