GitBucket
| 2025-11-19 |
公理を追加
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-10-31 |
ProofSystem#checkの引数の型が間違っていたので修正
Sakoda2269
committed
on 31 Oct
|
| 2025-10-30 |
ProofSystem作成中
Sakoda2269
committed
on 30 Oct
|
|
ProofSystem作成中
Sakoda2269
committed
on 30 Oct
|
|
|
ProofSystem作成
Sakoda2269
committed
on 30 Oct
|