testを修正

Fork: 0

nitta-lab / RDLProofSystem

Browse code testを修正 feature/axiom-inference-mk2
1 parent 6ac7030 commit 32646273d5cca3f2b0f7b4b6c60da23a94ede56e Sakoda2269 authored 7 days ago

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/test/java/inferencerule/EqualityAxiomTest.java

Show line notes below