openai / miniF2F
Components

An overview of source code logical components.

Intro

Logical decomposition is a representation of the organization of the main source code, where every and each file is put in exactly one logical component.

Logical Decompositions Overview

Analyzed system has 1 logical decomposition:

Logical Decomposition #1: PRIMARY

The decompositions is based on the folder structure at level 1 (relative to the source code root).

Bubble Chart | Tree Map
Component Sizes (Lines of Code)
The "primary" logical decomposition has 5 components.
  • 655 files, 9,979 LOC (100.0% vs. main code).
  • "isabelle" is biggest, containing 35.12% of LOC.
  • "ROOT" is smallest, containing 0.07% of LOC.


isabelle3505 LOC (35%) 244 files
metamath3262 LOC (32%) 244 files
lean2453 LOC (24%) 3 files
hollight752 LOC (7%) 163 files
ROOT7 LOC (<1%) 1 file
Component Commits
Components ordered by number of commits
Total Commits per Component
All commits, some commits may include files from multiple components.
lean49 commits (22%)
metamath20 commits (9%)
isabelle16 commits (7%)
ROOT14 commits (6%)
hollight11 commits (5%)
Yearly File Updates Trend per Components
The number of file changes in commits
animated commit history: all time cumulative | 12 months window
2025 2024 2023 2022 2021
lean
39
13
ROOT
6
8
isabelle
624
35
metamath
9
454
hollight
11
326


Dependencies between components in same commits (past 180 days)
The number on the lines shows the number of shared commits.
See detailed temporal dependencies report...

No temporal dependencies found.



2025-04-14 12:05