Home · Extensions · .thy

`.thy`

1 claimant 1 primary 0 secondary unambiguous primary

SWH popularity

Distinct files in the full Software Heritage archive (2026-06-04 export), dated by first appearance, following Desmazières, Di Cosmo, Lorentz (MSR 2025). Case-aggregated. citation.

470.7K

total files

119.3K

first seen 2021–2025 (25.4%)

2018

median year (half its files since)

Case variants in archive: .thy (470.6K), .Thy (4), .THY (1) — aggregated above.

Attribution status

This extension is attributed to Isabelle as primary by 2 authoritative claims.

Authoritative sources: ✓ Linguist ✓ Pygments ✗ Wikidata · no claim ✗ Wikipedia · no claim

Disagree or have a correction? Open a labelling issue.

Claimants (2)

Languages that list .thy among their extensions. Strength reflects whether the upstream source treated it as their primary extension.

Language	Source	Strength
Isabelle	linguist	primary
Isabelle	pygments	primary

Wikidata says… (1)

File formats, image formats, audio codecs and other non-PL entities that claim .thy on Wikidata (property P1195) or in the Wikipedia infobox. Source: data/derived/external_extension_index.csv. Click Use as new PL on any row to open the Add-PL form pre-filled with that entry's name, Wikipedia/Wikidata URL, and this extension — one submission creates the PL + claim.

Right entry isn't listed? Add manually ↗

Format	Class (Wikidata `P31`)	Suggested label	MIME	Notes	Action
Isabelle file format Q129832569 file format	file format	—	`text/x-isabelle`	—	Use as new PL ↗

SWH-mined examples (1)

Real archived programs with this extension, byte-verified against the SWH archive, grouped by predicted language and by how the prediction was made. Useful for deciding what this extension actually is when the attribution is uncertain.

Isabelle (1) — 1 via unique-primary

Equivalencia_de_inversos_iguales_al_neutro.thy · 2295 B · seen 110× in SWH

predicted: Isabelle via unique-primary

swh:1:cnt:55412599224cb0ad3091c00b3bbe21ff90dc95c0;origin=https://github.com/jaalonso/Calculemus;anchor=swh:1:rev:da951ec9c328c27ba47a53c31e8ccb8e7e77808d;path=/thy/Equivalencia_de_inversos_iguales_al_neutro.thy

Open in SWH · Raw bytes