https://github.com/anuyts/natpt-public
Naturality Pretype Theory
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 (2.5%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
Repository
Naturality Pretype Theory
Basic Info
- Host: GitHub
- Owner: anuyts
- Language: TeX
- Default Branch: main
- Size: 408 KB
Statistics
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
- Releases: 0
Created almost 3 years ago
· Last pushed almost 2 years ago
Metadata Files
Readme
README.md
Naturality Pretype Theory
A paper-to-be on Naturality Pretype Theory.
Please find it in long/natpt-long.tex - I'm not sure yet if this document is becoming a technical report or an extended version of a future conference/journal paper.
To clone, use
git clone --recurse-submodules
Owner
- Login: anuyts
- Kind: user
- Company: KU Leuven
- Website: anuyts.github.io
- Repositories: 5
- Profile: https://github.com/anuyts