cff-version: 1.2.0
message: "If you use this software, please cite it as below."
title: "Formalized Formal Logic"
abstract: A mechanized proof library for mathematical logic.
authors:
- family-names: "Saito"
  given-names: "Shogo"
- family-names: "Noguchi"
  given-names: "Mashu"
type: software
repository-code: "https://github.com/FormalizedFormalLogic/Foundation"
license: Apache-2.0
date-released: "2023-01-30"