From 90deb4a2293e380c57686b2ef49092082cd4fe03 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Fri, 22 Jan 2021 03:07:39 +0000 Subject: Initial commit --- README.md | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..3c822cb --- /dev/null +++ b/README.md @@ -0,0 +1,3 @@ +# Blackjack + +A blackJack game implemented in ACL2. \ No newline at end of file -- cgit v1.2.3