GitBucket
| 2026-04-18 |
書き換えの推論を少し実装
Sakoda2269
committed
13 days ago
|
|---|---|
| 2026-02-28 |
公理による推論を実装中
Sakoda2269
committed
on 28 Feb
|
| 2026-02-17 |
意味論的同値関係の推論ができるようになった
Sakoda2269
committed
on 17 Feb
|
| 2025-11-07 |
DependencyFormulaを更新
Sakoda2269
committed
on 7 Nov
|
| 2025-11-05 |
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 5 Nov
|
|
inの形の式に対応
Sakoda2269
committed
on 5 Nov
|
|
| 2025-10-31 |
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 31 Oct
|
|
コンストラクタ追加
Sakoda2269
committed
on 31 Oct
|
|
| 2025-10-30 |
コンストラクタ追加
Sakoda2269
committed
on 30 Oct
|
| 2025-10-25 |
MetaFormulaにtoString, hashCode, equalsを追加
Sakoda2269
committed
on 25 Oct
|
|
EquationFormulaのフィールド名変更
Sakoda2269
committed
on 25 Oct
|
|
| 2025-10-24 |
メソッド名修正
Sakoda2269
committed
on 24 Oct
|
| 2025-10-23 |
テスト追加
Sakoda2269
committed
on 23 Oct
|
|
Formulaを追加
Sakoda2269
committed
on 23 Oct
|