Data

Tools

Indexes

Applications

Experiments

Open Source Science

solidity-lean

https://github.com/solidikey/solidity-lean

Science Score: 31.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
  • ○
    DOI references
  • ○
    Academic links in README
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Unable to calculate vocabulary similarity
Last synced: 10 months ago · JSON representation ·

Repository

Basic Info
  • Host: GitHub
  • Owner: SolidiKeY
  • Language: Lean
  • Default Branch: master
  • Size: 162 KB
Statistics
  • Stars: 0
  • Watchers: 3
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 1 year ago · Last pushed about 1 year ago
Metadata Files
Citation

Owner

  • Name: SolidiKeY
  • Login: SolidiKeY
  • Kind: organization

Citation (CITATION.cff) 

cff-version: 1.2.0
authors:
- family-names: "Silva"
  given-names: "Guilherme"
  orcid: "https://orcid.org/0009-0008-7370-3045"
- family-names: "Ahrendt"
  given-names: "Wolfgang"
  orcid: "https://orcid.org/0000-0002-5671-2555"
- family-names: "Bubel"
  given-names: "Richard"
title: "Solidity in Lean"
url: "https://github.com/SolidiKeY/solidity-lean"

GitHub Events

Total
  • Push event: 3
  • Create event: 1
Last Year
  • Push event: 3
  • Create event: 1

Dependencies

.github/workflows/lean_action_ci.yml actions
  • actions/checkout v4 composite
  • leanprover/lean-action v1 composite
.devcontainer/Dockerfile docker
  • mcr.microsoft.com/devcontainers/base jammy build