acl2-theorems.git - Proofs with acl2

Age	Commit message (Expand)	Author
2021-09-09	Add `(in-package "ACL2")` lines.HEAD master	Masaya Tojo
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: 隣り合うフィボナッチ数�...	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