# Blackjack

A blackJack game implemented in ACL2.