index
:
standard-52-card-deck.git
master
ACL2 でトランプを扱うためのやつ
Masaya Tojo
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
top.lisp
blob: 18552e23024da09c585c17eea9c8fd2b857fae4d (
plain
)
1
2
3
(
in-package
"ACL2"
)
(
include-book
"standard-52-card-deck"
)