Commits : Listings
Analyzed
about 16 hours
ago.
based on code collected
about 21 hours
ago.
|
Apr 19, 2023
—
Apr 19, 2024
|
||||||
| Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
|---|---|---|---|---|---|---|
| 余分なコメントアウトを削除 |
|
More... | about 14 years ago | |||
| Completnessをコンパイル対象に追加 |
|
More... | about 14 years ago | |||
| omake cleanがちゃんと動くようにした |
|
More... | about 14 years ago | |||
| 完全性を証明した |
|
More... | about 14 years ago | |||
| applyの場合について証明した |
|
More... | about 14 years ago | |||
| CTApplyDisjointからPropを取り出す補題を追加 |
|
More... | about 14 years ago | |||
| add lemma |
|
More... | about 14 years ago | |||
| add lemma |
|
More... | about 14 years ago | |||
| 完全性の証明をすすめた |
|
More... | about 14 years ago | |||
| 証明をすすめた |
|
More... | about 14 years ago | |||
| 不要な補題を削除 |
|
More... | about 14 years ago | |||
| 補題を追加 |
|
More... | about 14 years ago | |||
| Completenessの証明をすすめた |
|
More... | about 14 years ago | |||
| 証明をすすめた |
|
More... | about 14 years ago | |||
| disjointに関する補題を証明した |
|
More... | about 14 years ago | |||
| 完全性の証明をすすめた |
|
More... | about 14 years ago | |||
| コンパイル対象を整理 |
|
More... | about 14 years ago | |||
| 証明をみじかくした |
|
More... | about 14 years ago | |||
| typo fix |
|
More... | about 14 years ago | |||
| typo fix |
|
More... | about 14 years ago | |||
| Xに自由型変数がふくまれないことの証明 |
|
More... | about 14 years ago | |||
| Varの場合について証明 |
|
More... | about 14 years ago | |||
| 補題を移動 |
|
More... | about 14 years ago | |||
| eauto withをつかってシンプルにした |
|
More... | about 14 years ago | |||
| 補題を移動させて、ファイル名を変更 |
|
More... | about 14 years ago | |||
| Disjoint |
|
More... | about 14 years ago | |||
| とりあえず補題を証明 |
|
More... | about 14 years ago | |||
| 証明を途中まで |
|
More... | about 14 years ago | |||
| ApplyMapsの証明をはじめた |
|
More... | about 14 years ago | |||
| mergeを実装した |
|
More... | about 14 years ago | |||
