casanova-fly
Casanova Fly is a formally-verified computer algebra system.
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.2%) to scientific vocabulary
Last synced: 6 months ago
·
JSON representation
·
Repository
Casanova Fly is a formally-verified computer algebra system.
Basic Info
- Host: GitHub
- Owner: andrewchawk
- License: unlicense
- Language: TeX
- Default Branch: master
- Size: 556 KB
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 4
- Releases: 0
Created over 1 year ago
· Last pushed over 1 year ago
Metadata Files
Readme
License
Citation
README.md
casanova-fly
Casanova Fly is a formally-verified computer algebra system.
Owner
- Login: andrewchawk
- Kind: user
- Repositories: 1
- Profile: https://github.com/andrewchawk
This account is public and will be associated with my resume. The history on this account is non-comprehensive.
Citation (CITATION.cff)
cff-version: 1.2.0
title: 'Casanova Fly: A Formally-Verified Computer Algebra System'
authors:
- given-names: Andrew
family-names: Hawk
email: andrewchawk@protonmail.com
orcid: 'https://orcid.org/0009-0000-3101-3304'
repository-code: 'https://github.com/andrewchawk/casanova-fly'
abstract: >-
This paper answers questions like "what is a computer
algebra system", "what constitutes a formally-verified
computer algebra system", and "what is an example of such
a formally-verified computer algebra system".
license: Unlicense
GitHub Events
Total
- Push event: 6
- Pull request event: 1
- Create event: 1
Last Year
- Push event: 6
- Pull request event: 1
- Create event: 1