Data

Tools

Indexes

Applications

Experiments

Open Source Science

foundation

Formalization of Mathematical Logic

https://github.com/formalizedformallogic/foundation

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

Keywords

lean4 logic
Last synced: 6 months ago · JSON representation ·

Repository

Formalization of Mathematical Logic

Basic Info
Statistics
  • Stars: 154
  • Watchers: 8
  • Forks: 10
  • Open Issues: 49
  • Releases: 0
Topics
lean4 logic
Created about 3 years ago · Last pushed 6 months ago
Metadata Files
Readme License Citation

README.md

Foundation

Formalizing mathematical logics in Lean 4.

Summary

Main Result in this repository. More results and details are in Book and Doc.

Documents

Zoo

Lines represent subset relations of theories/logics. Solid lines are represent proper subset.

Arithmetic Theory Zoo

Arithmetic Theory Zoo

Modal Logic Zoo

Modal Logic Zoo

Propositional Logic Zoo

Propositional Logic Zoo

Financial Supports

Any financial supports would greatly helps us. If you considered, please contact us: palalansouki@gmail.com

Previous Sponsors

Companies and organizations that have supported us in the past.

Owner

  • Name: FormalizedFormalLogic
  • Login: FormalizedFormalLogic
  • Kind: organization

Citation (CITATION.cff) 

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"

GitHub Events

Total
  • Issues event: 136
  • Watch event: 64
  • Delete event: 224
  • Issue comment event: 148
  • Push event: 605
  • Pull request review event: 59
  • Pull request review comment event: 59
  • Pull request event: 438
  • Fork event: 4
  • Create event: 263
Last Year
  • Issues event: 136
  • Watch event: 64
  • Delete event: 224
  • Issue comment event: 148
  • Push event: 605
  • Pull request review event: 59
  • Pull request review comment event: 59
  • Pull request event: 438
  • Fork event: 4
  • Create event: 263

Issues and Pull Requests

Last synced: 6 months ago

All Time
  • Total issues: 89
  • Total pull requests: 279
  • Average time to close issues: about 1 month
  • Average time to close pull requests: 3 days
  • Total issue authors: 3
  • Total pull request authors: 3
  • Average comments per issue: 0.2
  • Average comments per pull request: 0.42
  • Merged pull requests: 204
  • Bot issues: 3
  • Bot pull requests: 7
Past Year
  • Issues: 83
  • Pull requests: 258
  • Average time to close issues: 19 days
  • Average time to close pull requests: 3 days
  • Issue authors: 3
  • Pull request authors: 3
  • Average comments per issue: 0.2
  • Average comments per pull request: 0.4
  • Merged pull requests: 184
  • Bot issues: 3
  • Bot pull requests: 7
View more stats
Top Authors
Issue Authors
  • SnO2WMaN (70)
  • iehality (16)
  • github-actions[bot] (3)
Pull Request Authors
  • SnO2WMaN (222)
  • iehality (50)
  • github-actions[bot] (7)
Top Labels
Issue Labels
Pull Request Labels
auto-update-lean (6)