https://github.com/dhsorens/lean-lc3

A Proof System in Lean for LC3 Programs (In Progress)

https://github.com/dhsorens/lean-lc3

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 links in README
  • Academic email domains
  • Institutional organization owner
  • JOSS paper metadata
  • Scientific vocabulary similarity
    Low similarity (0.2%) to scientific vocabulary
Last synced: 5 months ago · JSON representation

Repository

A Proof System in Lean for LC3 Programs (In Progress)

Basic Info
  • Host: GitHub
  • Owner: dhsorens
  • License: mit
  • Language: Lean
  • Default Branch: main
  • Homepage:
  • Size: 0 Bytes
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created about 1 year ago · Last pushed about 1 year ago
Metadata Files
Readme License

Owner

  • Name: Derek Sorensen
  • Login: dhsorens
  • Kind: user
  • Location: Cambridge, UK
  • Company: University of Cambridge

GitHub Events

Total
  • Push event: 2
  • Create event: 2
Last Year
  • Push event: 2
  • Create event: 2