GitBucket
| 2025-11-19 |
前提部に結論部が含まれる場合trueを返すようにした
Sakoda2269
committed
on 19 Nov
|
|---|---|
|
公理を追加
Sakoda2269
committed
on 19 Nov
|
|
|
checkにbindingを追加
Sakoda2269
committed
on 19 Nov
|
|
| 2025-11-01 |
src/Main.javaを変更
Sakoda2269
committed
on 1 Nov
|
| 2025-10-31 |
mainを変更
Sakoda2269
committed
on 31 Oct
|
|
ProofSystem#checkの引数の型が間違っていたので修正
Sakoda2269
committed
on 31 Oct
|
|
| 2025-10-27 |
テスト追加
Sakoda2269
committed
on 27 Oct
|
| 2025-10-25 |
toString調整
Sakoda2269
committed
on 25 Oct
|
|
InferenceRule作成
Sakoda2269
committed
on 25 Oct
|
|
| 2025-10-23 |
ディレクトリ変更
Sakoda2269
committed
on 23 Oct
|
| 2025-10-22 |
MetaRDLTermのコンストラクタを修正
Sakoda2269
committed
on 22 Oct
|
| 2025-10-20 |
medaモデルで階数の表示方法を変更
Sakoda2269
committed
on 20 Oct
|
| 2025-10-19 |
テストを追加
Sakoda2269
committed
on 19 Oct
|
| 2025-10-13 |
symbolをコンストラクタで渡すようにした
Sakoda2269
committed
on 13 Oct
|
| 2025-09-26 |
DTRAMのTermを使用するようにした
Sakoda2269
committed
on 26 Sep
|
| 2025-09-20 |
first commit
Sakoda2269
committed
on 20 Sep
|