| Age | Commit message (Expand) | Author |
|---|
| 2021-08-14 | pigeonhole: Remove warnings. | Masaya Tojo |
| 2021-08-14 | pigeonhole: Update. | Masaya Tojo |
| 2021-08-14 | pigeonhole: Add examples. | Masaya Tojo |
| 2021-08-13 | pigeonhole: Rename from count/list to list-count. | Masaya Tojo |
| 2021-08-13 | permutations: Add guards. | Masaya Tojo |
| 2021-08-13 | permutations: Refactoring. | Masaya Tojo |
| 2021-08-13 | pigeonhole: Rename pigenhole from to pigeonhole. | Masaya Tojo |
| 2021-08-13 | pigenhole: Remove sum-map-count/list-induction. | Masaya Tojo |
| 2021-08-13 | pigenhole: Remove finite-nat. | Masaya Tojo |
| 2021-08-13 | pigenhole: Add pigenhole.lisp. | Masaya Tojo |
| 2021-08-13 | permutations: Update. | Masaya Tojo |
| 2021-08-13 | permutations: Remove useless theorems and fucntions. | Masaya Tojo |
| 2021-08-12 | permutations: Refactoring. | Masaya Tojo |
| 2021-08-12 | permutations: Rename a theorem. | Masaya Tojo |
| 2021-08-11 | permutations: Add permutations.lisp file. | Masaya Tojo |
| 2021-08-07 | peano: Add nat< function. | Masaya Tojo |
| 2021-08-07 | peano: Change nat's expression. | Masaya Tojo |
| 2021-08-06 | peano: associativity-of-nat*: Unuse nat*-commutative. | Masaya Tojo |
| 2021-08-06 | peano: Add nat* function and theorems. | Masaya Tojo |
| 2021-08-06 | peano: Remove unnecessary hypothesis. | Masaya Tojo |
| 2021-08-06 | peano: Add nat+-right-cancellative theorem. | Masaya Tojo |
| 2021-08-06 | peano: Rename theorems. | Masaya Tojo |
| 2021-08-05 | peano: Add peano.lisp file. | Masaya Tojo |
| 2021-08-01 | L-99: Fix P16 problem. | Masaya Tojo |
| 2021-08-01 | README: Update README.md file. | Masaya Tojo |
| 2021-08-01 | README: Add a badge. | Masaya Tojo |
| 2021-08-01 | L-99: Solve P20 problem. | Masaya Tojo |
| 2021-07-29 | L-99: Solve P17, P18 and P19 problems. | Masaya Tojo |
| 2021-07-29 | Add .gitignore file. | Masaya Tojo |
| 2021-07-29 | L-99: Solve P14, P15 and P16. | Masaya Tojo |
| 2021-07-26 | consecutive-fibonacci-numbers-are-coprime: gcd$ の結果が正の整数に�... | Masaya Tojo |
| 2021-07-25 | consecutive-fibonacci-numbers-are-coprime: ガードを追加 | Masaya Tojo |
| 2021-07-25 | consecutive-fibonacci-numbers-are-coprime: 隣り合うフィボナッチ数�...•••n# Your branch is ahead of 'origin/master' by 1 commit.
| Masaya Tojo |
| 2021-07-25 | divisor-list: 約数リストに関する定理を追加 | Masaya Tojo |
| 2021-07-25 | L-99: Rename from encode-direct-equal-encode-modified to encode-direct-equal-... | Masaya Tojo |
| 2021-07-25 | L-99: Rename from repeat-len to len-repeat. | Masaya Tojo |
| 2021-07-25 | L-99: Solve P13 problem. | Masaya Tojo |
| 2021-07-25 | L-99: Fix P10-12 problems. | Masaya Tojo |
| 2021-07-24 | L-99: Solve P11 and P12 problems. | Masaya Tojo |
| 2021-07-23 | L-99: Fix encode function. | Masaya Tojo |
| 2021-07-23 | L-99: Solve problems from P08 to P10. | Masaya Tojo |
| 2021-07-23 | L-99: Solve problems from P01 to P07. | Masaya Tojo |
| 2021-07-22 | palindrome-sandwich: sandwich-equal-hyp を sandwich-equal-lemma に修正 | Masaya Tojo |
| 2021-07-22 | リストモナドがモナド則を満たすことを示す | Masaya Tojo |
| 2021-07-19 | Add `palindrome-sandwich.lisp` file. | Masaya Tojo |
| 2021-07-19 | Initial commit. | Masaya Tojo |
