GitBucket
| 2026-09-30 |
Uncurrying途中まで
Sakoda2269
committed
7 days ago
|
|---|---|
| 2026-09-23 |
公理の推論の実装変更とtransitivity testまで
Sakoda2269
committed
14 days ago
|
| 2026-09-22 |
in, codomain membership, domain membershipを実装
Sakoda2269
committed
14 days ago
|
| 2026-09-16 |
dynamicのsubstitutionを作成
Sakoda2269
committed
20 days ago
|
|
merge main
Sakoda2269
committed
20 days ago
|
|
| 2026-09-14 |
dynamicTermのisMatchedByまで
Sakoda2269
committed
22 days ago
|