Data

Tools

Indexes

Applications

Experiments

Open Source Science

project

The monorepo containing all code for the QED project

https://github.com/qed-project/project

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.7%) to scientific vocabulary

Keywords

computer-algebra-system database math proof-system
Last synced: 6 months ago · JSON representation ·

Repository

The monorepo containing all code for the QED project

Basic Info
  • Host: GitHub
  • Owner: qed-project
  • License: mit
  • Language: Rust
  • Default Branch: main
  • Homepage: https://qed.lucalewin.dev
  • Size: 165 KB
Statistics
  • Stars: 2
  • Watchers: 0
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Topics
computer-algebra-system database math proof-system
Created almost 2 years ago · Last pushed almost 2 years ago
Metadata Files
Readme Changelog License Citation Roadmap

README.md

The QED Project

The monorepo containing all code for the QED project

Owner

  • Name: The QED Project
  • Login: qed-project
  • Kind: organization
  • Email: contact@lucalewin.dev

Citation (CITATION.cff) 

cff-version: 1.2.0
title: The QED Project
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: Luca
    family-names: Lewin
    email: contact@lucalewin.dev
    affiliation: Lund University
    orcid: 'https://orcid.org/0009-0005-1296-096X'
repository-code: 'https://github.com/qed-project/project'
url: 'https://qed.lucalewin.dev'
abstract: >-
  The QED project will be a major scientific undertaking
  requiring the cooperation and effort of hundreds of deep
  mathematical minds, considerable ingenuity by many
  computer scientists, and broad support and leadership from
  research agencies.
keywords:
  - math
  - database
version: 0.0.1

GitHub Events

Total
  • Watch event: 1
Last Year
  • Watch event: 1

Dependencies

Cargo.lock cargo
  • 113 dependencies
Cargo.toml cargo
crates/asciimath-rs/Cargo.toml cargo
crates/lean-rs/Cargo.toml cargo
crates/mathml-rs/Cargo.toml cargo
crates/mizar-rs/Cargo.toml cargo
crates/openmath-rs/Cargo.toml cargo
crates/qed/Cargo.toml cargo
crates/qed_formats/Cargo.toml cargo
crates/qed_prover/Cargo.toml cargo
crates/qed_server/Cargo.toml cargo