cff-version: 1.2.0
title: 'QED: mathematical proof assistant/database'
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
    orcid: 'https://orcid.org/0009-0005-1296-096X'
repository-code: 'https://github.com/lucalewin/qed'
url: 'https://lucalewin.dev/projects/QED'
abstract: work in progress
version: 0.0.0