summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterAdd Makefile.Masaya Tojo2 months
 
 
AgeCommit messageAuthor
2021-08-22Add Makefile.HEADmasterMasaya Tojo
2021-08-22Add functions and theorems about cards.Masaya Tojo
2021-08-22Initial commit.Masaya Tojo