Home · Extensions · .thy

`.thy`

1 claimant 1 primary 0 secondary unambiguous primary

SWH popularity

From the SWH-MSR-ARV dataset (Desmazières, Di Cosmo, Lorentz, MSR 2025; file nb_extensions_alphanum.csv) — one row per (ext, year) in the full SWH archive. Case-aggregated. citation.

392.2K

total occurrences

56.6K

since 2019 (14.4%)

1993–2023

years active

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

Attribution status

This extension is attributed to Isabelle; 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. Useful for deciding what this extension actually is when the attribution is uncertain.

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