alois/CoqDecks
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
17331589f034ff3126e9c5da72aec29c4e98e17f
CoqDecks/server/decks
T
History
Gareth Latty 17331589f0 Add a built-in deck source and the CaH base deck. 
This does a lot of the work needed for #120.
2020-05-01 01:12:12 +01:00
..
cah-base-en.deck.json5
Add a built-in deck source and the CaH base deck.
2020-05-01 01:12:12 +01:00