Merge branch 'main' into feature/axiom-inference-mk2

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge branch 'main' into feature/axiom-inference-mk2 feature/axiom-inference-mk2
commit 777ecf7a17fd35a020d147e2f582b3d862622440 2 parents 998595c + 420e35d Sakoda2269 authored 18 days ago

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/main/java/models/terms/DependencyTerm.java

Show line notes below