aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2021-07-26consecutive-fibonacci-numbers-are-coprime: gcd$ ↵Masaya Tojo
の結果が正の整数になる性質を証明した
2021-07-25consecutive-fibonacci-numbers-are-coprime: ガードを追加Masaya Tojo
2021-07-25consecutive-fibonacci-numbers-are-coprime: ↵Masaya Tojo
隣り合うフィボナッチ数が互いに素であることの定理を追加 n# Your branch is ahead of 'origin/master' by 1 commit.
2021-07-25divisor-list: 約数リストに関する定理を追加Masaya Tojo
2021-07-25L-99: Rename from encode-direct-equal-encode-modified to ↵Masaya Tojo
encode-direct-equal-encode-modified.
2021-07-25L-99: Rename from repeat-len to len-repeat.Masaya Tojo
2021-07-25L-99: Solve P13 problem.Masaya Tojo
2021-07-25L-99: Fix P10-12 problems.Masaya Tojo
2021-07-24L-99: Solve P11 and P12 problems.Masaya Tojo
2021-07-23L-99: Fix encode function.Masaya Tojo
2021-07-23L-99: Solve problems from P08 to P10.Masaya Tojo
2021-07-23L-99: Solve problems from P01 to P07.Masaya Tojo
2021-07-22palindrome-sandwich: sandwich-equal-hyp を sandwich-equal-lemma に修正Masaya Tojo
2021-07-22リストモナドがモナド則を満たすことを示すMasaya Tojo
2021-07-19Add `palindrome-sandwich.lisp` file.Masaya Tojo
2021-07-19Initial commit.Masaya Tojo
generated by cgit v1.2.3 (git 2.46.0) at 2025-01-16 03:02:51 +0000