Fork: 0
k-sakoda / ResourceDependencyLogic
History for ResourceDependencyLogic / src / inference
2025-11-05
3d7a958
Browse files »
@Sakoda2269
Merge branch 'main' into feature/proof-system
Sakoda2269 committed on 5 Nov
cd3fde4
Browse files »
@Sakoda2269
公理に出現する階数の制約を追加できるようにした
Sakoda2269 committed on 5 Nov
2025-10-31
3ff01c8
Browse files »
@Sakoda2269
ProofSystem#checkの引数の型が間違っていたので修正
Sakoda2269 committed on 31 Oct
2025-10-30
9f4edfa
Browse files »
@Sakoda2269
ProofSystem作成中
Sakoda2269 committed on 30 Oct
88f94fd
Browse files »
@Sakoda2269
ProofSystem作成中
Sakoda2269 committed on 30 Oct
0b82e8e
Browse files »
@Sakoda2269
Merge branch 'main' into feature/proof-system
Sakoda2269 committed on 30 Oct
abbf5af
Browse files »
@Sakoda2269
InferenceRuleに名前をつけれるようにした
Sakoda2269 committed on 30 Oct
d4f9e42
Browse files »
@Sakoda2269
ProofSystem作成
Sakoda2269 committed on 30 Oct
2025-10-25
4465b11
Browse files »
@Sakoda2269
toString調整
Sakoda2269 committed on 25 Oct
3b46c51
Browse files »
@Sakoda2269
InferenceRule作成
Sakoda2269 committed on 25 Oct