Fork: 0
nitta-lab / RDLProofSystem
Browse code
Merge pull request #2 from nitta-lab/fix/dependencyTerm-constructor
> Fix/dependencyTerm constructor

確認したのでマージします．
feature/axiom-inference-mk2 main
commit 420e35dbec9c78d168af5c9c8c1b5c2c32a334aa
2 parents 9d09c2a + 14f0911
@Naoya Nitta Naoya Nitta authored 11 days ago
Patch
Unified Split
Showing 1 changed file
View
src/main/java/models/terms/DependencyTerm.java