This website requires JavaScript.
Explore
Help
Sign In
alois
/
CoqDecks
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
492d439929a2bd60bfd9928d4997e96535a5c40f
CoqDecks
/
server
/
decks
T
History
Gareth Latty
749485b16a
Resolve
#117
: Move from Weightless to MWC.
...
Resolve
#132
: Fix some issues with the Postgres backend.
2020-05-16 15:53:43 +01:00
..
cah-base-en.deck.json5
Resolve
#117
: Move from Weightless to MWC.
2020-05-16 15:53:43 +01:00
cah-base-ptbr.deck.json5
Resolve
#117
: Move from Weightless to MWC.
2020-05-16 15:53:43 +01:00