Fork: 0
nitta-lab / RDLProofSystem
History for RDLProofSystem / src / models / terms / PrimedTerm.java
2026-05-11
436801e
Browse files »
@Sakoda2269
fix PrimedTermのコンストラクタがprotectedだったのでpublicにした
Sakoda2269 committed on 11 May
2026-04-18
dc7a700
Browse files »
@Sakoda2269
書き換えの推論を少し実装
Sakoda2269 committed on 18 Apr