History for RDLProofSystem / src / inference
2025-10-30
@Sakoda2269
InferenceRuleに名前をつけれるようにした
Sakoda2269 committed on 30 Oct 2025
2025-10-25
@Sakoda2269
toString調整
Sakoda2269 committed on 25 Oct 2025
@Sakoda2269
InferenceRule作成
Sakoda2269 committed on 25 Oct 2025