https://github.com/bjoernkjoshanssen/interest
Interest theory in Lean
Science Score: 26.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
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (0.2%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
Repository
Interest theory in Lean
Basic Info
- Host: GitHub
- Owner: bjoernkjoshanssen
- Language: Lean
- Default Branch: main
- Size: 27.3 KB
Statistics
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
- Releases: 0
Created 12 months ago
· Last pushed 10 months ago
Metadata Files
Readme
README.md
interest
Interest theory in Lean.
Owner
- Name: Bjørn Kjos-Hanssen
- Login: bjoernkjoshanssen
- Kind: user
- Location: Honolulu, HI
- Company: University of Hawaii at Manoa
- Website: http://math.hawaii.edu/wordpress/bjoern/
- Repositories: 4
- Profile: https://github.com/bjoernkjoshanssen
Professor of Mathematics
GitHub Events
Total
- Push event: 7
- Create event: 2
Last Year
- Push event: 7
- Create event: 2