This website requires JavaScript.
Explore
Help
Sign In
alois
/
CoqDecks
Watch
1
Star
0
Fork
0
You've already forked CoqDecks
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
206
Commits
1
Branch
0
Tags
e5cfdb16cdc7221fdaf7e6024744dc0939261cd7
Commit Graph
3 Commits
Author
SHA1
Message
Date
Gareth Latty
1bc4f074ed
Add pointer to many decks.
2020-05-23 22:11:51 +01:00
Gareth Latty
d80279a3b1
Move v2 to master.
2019-12-28 14:11:08 +00:00
Gareth Latty
8c5c299391
Move to GitHub Actions.
2019-12-28 03:11:01 +00:00