aboutsummaryrefslogtreecommitdiff
path: root/combinations.lisp
AgeCommit message (Expand)Author
2021-09-09Add `(in-package "ACL2")` lines.HEADmasterMasaya Tojo
2021-09-05len-combinations: Add len-combinations-factorial theorem.Masaya Tojo
2021-09-01Add combinations.lisp file.Masaya Tojo