coq-ctproxy
A MetaCoq derivation algorithm for deriving non-mutually inductive collapsed tagged proxies over mutually inductive relations
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 (0.4%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
·
Repository
A MetaCoq derivation algorithm for deriving non-mutually inductive collapsed tagged proxies over mutually inductive relations
Basic Info
- Host: GitHub
- Owner: Xiving
- License: gpl-3.0
- Language: Coq
- Default Branch: main
- Size: 20.5 KB
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Created over 3 years ago
· Last pushed about 3 years ago
Metadata Files
Readme
License
Citation
README.md
coq-ctproxy
A MetaCoq derivation algorithm for deriving non-mutually inductive collapsed tagged proxies over mutually inductive relations
Owner
- Name: Xiving
- Login: Xiving
- Kind: user
- Repositories: 1
- Profile: https://github.com/Xiving
Computer Science Master student at the University of Utrecht
Citation (CITATION.cff)
cff-version: 1.2.0 message: "If you use this software, please cite it as below." authors: - family-names: "Remmers" given-names: "Bart" title: "Collapsed Tagged Proxy Derivation Algorithm" version: 1.0.0 date-released: 2023-04-17 url: "https://github.com/Xiving/coq-ctproxy"