GitBucket
| 2025-10-30 |
ProofSystem作成中
Sakoda2269
committed
on 30 Oct
|
|---|---|
|
ProofSystem作成中
Sakoda2269
committed
on 30 Oct
|
|
|
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 30 Oct
|
|
|
InferenceRuleに名前をつけれるようにした
Sakoda2269
committed
on 30 Oct
|
|
|
ProofSystem作成
Sakoda2269
committed
on 30 Oct
|
|
| 2025-10-25 |
toString調整
Sakoda2269
committed
on 25 Oct
|
|
InferenceRule作成
Sakoda2269
committed
on 25 Oct
|