k-sakoda/ResourceDependencyLogic

Fork: 0

k-sakoda / ResourceDependencyLogic

History for ResourceDependencyLogic / src / inference

2025-11-07	bf0e36f Browse files » 公理作成中 Sakoda2269 committed on 7 Nov
2025-11-05	c11d3ff Browse files » 階数の制約追加によりコンストラクタ追加 Sakoda2269 committed on 5 Nov
	3d7a958 Browse files » Merge branch 'main' into feature/proof-system Sakoda2269 committed on 5 Nov
	cd3fde4 Browse files » 公理に出現する階数の制約を追加できるようにした Sakoda2269 committed on 5 Nov
2025-10-31	3ff01c8 Browse files » ProofSystem#checkの引数の型が間違っていたので修正 Sakoda2269 committed on 31 Oct
2025-10-30	9f4edfa Browse files » ProofSystem作成中 Sakoda2269 committed on 30 Oct
	88f94fd Browse files » ProofSystem作成中 Sakoda2269 committed on 30 Oct
	0b82e8e Browse files » Merge branch 'main' into feature/proof-system Sakoda2269 committed on 30 Oct
	abbf5af Browse files » InferenceRuleに名前をつけれるようにした Sakoda2269 committed on 30 Oct
	d4f9e42 Browse files » ProofSystem作成 Sakoda2269 committed on 30 Oct
2025-10-25	4465b11 Browse files » toString調整 Sakoda2269 committed on 25 Oct
2025-10-25	3b46c51 Browse files » InferenceRule作成 Sakoda2269 committed on 25 Oct