GitBucket
| 2026-03-23 |
推論バグ修正中
Sakoda2269
committed
on 23 Mar
|
|---|---|
| 2026-03-17 |
項にサイズを追加
Sakoda2269
committed
on 17 Mar
|
| 2026-03-16 |
推論ができなかったバグを修正
Sakoda2269
committed
on 16 Mar
|
| 2026-03-09 |
公理を追加
Sakoda2269
committed
on 9 Mar
|
| 2026-03-01 |
公理を使った推論を実装
Sakoda2269
committed
on 1 Mar
|
| 2026-02-28 |
公理による推論を実装中
Sakoda2269
committed
on 28 Feb
|
|
公理系更新のために既存の公理系を削除
Sakoda2269
committed
on 28 Feb
|
|
|
typoを修正
Sakoda2269
committed
on 28 Feb
|
|
| 2026-02-17 |
意味論的同値関係の推論ができるようになった
Sakoda2269
committed
on 17 Feb
|
| 2025-12-20 |
意味論的同値関係について実装
Sakoda2269
committed
on 20 Dec
|
|
途中まで
Sakoda2269
committed
on 20 Dec
|
|
|
途中まで
Sakoda2269
committed
on 20 Dec
|
|
| 2025-11-20 |
推移律のチェックを追加
Sakoda2269
committed
on 20 Nov
|
|
InferenceRule#checkの計算量を改善
Sakoda2269
committed
on 20 Nov
|
|
| 2025-11-19 |
前提部に結論部が含まれる場合trueを返すようにした
Sakoda2269
committed
on 19 Nov
|
|
公理を追加
Sakoda2269
committed
on 19 Nov
|
|
|
checkにbindingを追加
Sakoda2269
committed
on 19 Nov
|
|
| 2025-11-07 |
公理の追加完了
Sakoda2269
committed
on 7 Nov
|
|
公理追加完了
Sakoda2269
committed
on 7 Nov
|
|
|
公理作成中
Sakoda2269
committed
on 7 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-31 |
ProofSystem#checkの引数の型が間違っていたので修正
Sakoda2269
committed
on 31 Oct
|
| 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
|