nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

History for RDLProofSystem / src / main / java / models / terms / meta / MetaDynamicTerm.java

2026-09-11	f86f8a6 Browse files » DependencyとDependencyTermの支配項の重複を許した Sakoda2269 committed 3 days ago
2026-09-02	4f2c41a Browse files » left subとright subをdynamicに Sakoda2269 committed 12 days ago
2026-09-02	d65b330 Browse files » 複数引数に対応中 Sakoda2269 committed 12 days ago
2026-08-28	f88bb35 Browse files » dynamiをMetaRDLTermから分離したことにより生じたバグを修正 Sakoda2269 committed 17 days ago
2026-08-26	2afac34 Browse files » 公理を追加 Sakoda2269 committed 19 days ago
2026-08-20	16510cd Browse files » MetaDynamicTerm追加 Sakoda2269 committed 25 days ago