Merge pull request #9 from Sakoda2269/feature/semantic-equivalence

Fork: 0

k-sakoda / ResourceDependencyLogic

Browse code Merge pull request #9 from Sakoda2269/feature/semantic-equivalence typoを修正 main
commit dc582e4286ba376c8d353e70883ce339b1573a59 2 parents 3d0dc31 + dcf81c2 Sakoda2269 authored on 28 Feb GitHub committed on 28 Feb

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/inference/equivalence/SemanticEquivalenceProofSystem.java

Show line notes below