Fork: 0
nitta-lab / RDLProofSystem
History for RDLProofSystem / src / tests / terms / EqualsTest.java
2026-04-17
1422f72
Browse files »
@Sakoda2269
依存項の支配項、引数項を複数持てるようにした
Sakoda2269 committed on 17 Apr