| Age | Commit message (Expand) | Author |
|---|
| 2021-09-09 | flist: Add `flist.lisp` file. | Masaya Tojo |
| 2021-09-05 | len-combinations: Add len-combinations-factorial theorem. | Masaya Tojo |
| 2021-09-04 | binary-tree: Change from member to assoc. | Masaya Tojo |
| 2021-09-04 | fast-expt: Add fast-expt.lisp file. | Masaya Tojo |
| 2021-09-01 | Add combinations.lisp file. | Masaya Tojo |
| 2021-09-01 | Add binary-tree.lisp. | Masaya Tojo |
| 2021-08-27 | units: Add units.lisp | Masaya Tojo |
| 2021-08-15 | pigeonhole: Fix a name of theorem. | Masaya Tojo |
| 2021-08-15 | consecutive-fibonacci-numbers-are-coprime: Remove nfix. | Masaya Tojo |
| 2021-08-15 | consecutive-fibonacci-numbers-are-coprime: Gcd$ is common-divisor. | Masaya Tojo |
| 2021-08-15 | consecutive-fibonacci-numbers-are-coprime: Refactor gcd$ function. | Masaya Tojo |
| 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 |
