GitBucket
| 2026-10-25 |
再帰的に公理を適用するように変更
Sakoda2269
committed
19 days ago
|
|---|---|
| 2026-10-21 |
dependencyの推論実装中
Sakoda2269
committed
23 days ago
|
| 2026-09-22 |
in, codomain membership, domain membershipを実装
Sakoda2269
committed
on 22 Sep
|
| 2026-09-16 |
dynamicのsubstitutionを作成
Sakoda2269
committed
on 16 Sep
|
|
merge main
Sakoda2269
committed
on 16 Sep
|
|
| 2026-09-15 |
RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲）
n-nitta
committed
on 15 Sep
|
| 2026-09-14 |
dynamicTermのisMatchedByまで
Sakoda2269
committed
on 14 Sep
|
| 2026-05-18 |
ディレクトリ構造変更
Sakoda2269
committed
on 18 May
|