Fork: 0
k-sakoda / ResourceDependencyLogic
History for ResourceDependencyLogic / src / inference / ProofSystem.java
2025-11-19
67b1663
Browse files »
@Sakoda2269
checkにbindingを追加
Sakoda2269 committed on 19 Nov
2025-11-07
58d77a0
Browse files »
@Sakoda2269
公理の追加完了
Sakoda2269 committed on 7 Nov
e4e056d
Browse files »
@Sakoda2269
公理追加完了
Sakoda2269 committed on 7 Nov
bf0e36f
Browse files »
@Sakoda2269
公理作成中
Sakoda2269 committed on 7 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
d4f9e42
Browse files »
@Sakoda2269
ProofSystem作成
Sakoda2269 committed on 30 Oct