GitBucket
| 2025-11-20 |
InferenceRule#checkの計算量を改善
Sakoda2269
committed
on 20 Nov
|
|---|---|
| 2025-11-19 |
公理を追加
Sakoda2269
committed
on 19 Nov
|
|
checkにbindingを追加
Sakoda2269
committed
on 19 Nov
|
|
| 2025-11-05 |
階数の制約追加によりコンストラクタ追加
Sakoda2269
committed
on 5 Nov
|
|
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 5 Nov
|
|
|
公理に出現する階数の制約を追加できるようにした
Sakoda2269
committed
on 5 Nov
|
|
| 2025-10-30 |
InferenceRuleに名前をつけれるようにした
Sakoda2269
committed
on 30 Oct
|
| 2025-10-25 |
toString調整
Sakoda2269
committed
on 25 Oct
|
|
InferenceRule作成
Sakoda2269
committed
on 25 Oct
|