Isabelle is a programming language recognized by GitHub Linguist and used with .thy.
Quick facts
What is Isabelle
Isabelle is a programming language recognized by GitHub Linguist and used with .thy.
GitHub Linguist classifies Isabelle as a programming language, typically using extensions such as .thy.
File extensions:
Related languages
Frequently asked questions
Isabelle is a programming language recognized by GitHub Linguist and used with .thy.
Common extensions include .thy.
Sources & standards
Updated 2026-08-18
Explore this reference