computads.agda
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (1.1%) to scientific vocabulary
Last synced: 6 months ago
·
JSON representation
·
Repository
Basic Info
- Host: GitHub
- Owner: jmarkakis
- License: mit
- Language: Agda
- Default Branch: main
- Size: 51.8 KB
Statistics
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0
- Releases: 0
Created over 2 years ago
· Last pushed over 1 year ago
Metadata Files
Readme
License
Citation
README.md
A formalisation of the theory of computads for weak ω-categories in the proof assistant Agda. It works with Agda 2.6.3 and the standard library version 1.7.1.
Owner
- Name: Ioannis Markakis
- Login: jmarkakis
- Kind: user
- Repositories: 1
- Profile: https://github.com/jmarkakis
Citation (CITATION.cff)
# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!
cff-version: 1.2.0
title: Agda formalisation of computads for ω-categories
message: >-
If you use this software, please cite it using the
metadata from this file.
type: software
authors:
- given-names: Ioannis
family-names: Markakis
email: ioannis0markakis@gmail.com
affiliation: University of Cambridge
orcid: 'https://orcid.org/0000-0001-7553-9009'
repository-code: 'https://github.com/jmarkakis/computads.agda'
abstract: >-
A formalisation of the theory of computads for weak
ω-categories in the proof assistant Agda. It works with
Agda 2.6.3 and the standard library version 1.7.1.
GitHub Events
Total
- Watch event: 3
Last Year
- Watch event: 3