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
-rw-r--r--	LICENSE	1480	log plain

generated by cgit v1.2.3 (git 2.44.0) at 2024-04-29 05:19:45 +0000