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
32
Commits
1
Branch
0
Tags
fb5977dfd571661dbbb579dbee5b150e5dfab72f
Commit Graph
3 Commits
Include renames
Author
SHA1
Message
Date
Gareth Latty
0a237f6ca1
Add an icon and some mobile app enablement.
2015-12-09 00:56:41 +00:00
Gareth Latty
8056f8409a
Removed compiled elm.
2015-12-04 21:18:00 +00:00
Gareth Latty
4ad99ac2cf
Initial commit.
2015-12-04 18:12:55 +00:00