https://github.com/chobbes/dsss17-slack
#coq from the DSSS17 slack summarized.
Science Score: 13.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (1.9%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
Repository
#coq from the DSSS17 slack summarized.
Basic Info
- Host: GitHub
- Owner: Chobbes
- Default Branch: master
- Size: 31.3 KB
Statistics
- Stars: 2
- Watchers: 3
- Forks: 0
- Open Issues: 0
- Releases: 0
Created about 8 years ago
· Last pushed almost 8 years ago
Metadata Files
Readme
README.org
* Introduction ~dsss17-slack.org~ contains a summary of some of the questions and answers that came up during DeepSpec Summer School 2017 in the #coq channel on slack. The notes are up here: [[https://www.typesofnote.com/dsss17-slack.html][Deepspec Summer School 2017 Slack Notes]] Hopefully some of the tidbits are interesting! Feel free to make pull requests to improve the notes / make corrections. This is most welcome, as are issues for any unclear notes. These notes were originally summarized by Calvin Beck, with special thanks to Perry Metzger and John Wiegely for the slack logs, and all of the DSSS17 participants for their questions and answers!
Owner
- Name: Calvin Beck
- Login: Chobbes
- Kind: user
- Location: Philadelphia
- Repositories: 143
- Profile: https://github.com/Chobbes
GitHub Events
Total
Last Year
Issues and Pull Requests
Last synced: over 1 year ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0