standard-52-card-deck.git - ACL2 でトランプを扱うためのやつ

index : standard-52-card-deck.git

ACL2 でトランプを扱うためのやつ

Masaya Tojo

summary refs log tree commit diff

Mode	Name	Size
-rw-r--r--	.gitignore	22	log plain about
-rw-r--r--	LICENSE	1480	log plain about

generated by cgit v1.2.3 (git 2.47.1) at 2025-07-06 19:37:01 +0000