coqrel

Binary logical relations library for the Coq proof assistant

https://github.com/certikos/coqrel

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 links in README
○
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

Binary logical relations library for the Coq proof assistant

Basic Info

Host: GitHub
Owner: CertiKOS
License: other
Language: Coq
Default Branch: master
Homepage: http://certikos.github.io/coqrel/
Size: 564 KB

Statistics

Stars: 21
Watchers: 7
Forks: 1
Open Issues: 7
Releases: 1

Created over 10 years ago · Last pushed over 1 year ago

Metadata Files

License Citation

Owner

Name: CertiKOS
Login: CertiKOS
Kind: organization

Repositories: 19
Profile: https://github.com/CertiKOS

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: >-
  Coqrel: a binary logical relations library for the Coq
  proof assistant
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: Jérémie
    family-names: Koenig
    email: jeremie.koenig@yale.edu
    affiliation: Yale University
    orcid: 'https://orcid.org/0000-0002-3168-5925'
repository-code: 'https://github.com/CertiKOS/coqrel'
url: 'http://certikos.github.io/coqrel/'
license: MIT

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science