Files

.github
lib
samples
- 1C Enterprise
- 2-Dimensional Array
- 4D
- ABAP CDS
- ABAP
- ABNF
- AGS Script
- AIDL
- AL
- AMPL
- API Blueprint
- APL
- ASL
- ASN.1
- ASP.NET
- ATS
- ActionScript
- Adblock Filter List
- Adobe Font Metrics
- Agda
- Alloy
- Alpine Abuild
- Altium Designer
- AngelScript
- Answer Set Programming
- Ant Build System
- Antlers
- ApacheConf
- Apex
- Apollo Guidance Computer
- AppleScript
- AsciiDoc
- AspectJ
- Assembly
- Astro
- Asymptote
- AutoHotkey
- Avro IDL
- Awk
- B4X
- BASIC
- BQN
- Ballerina
- Beef
- Befunge
- Berry
- BibTeX
- Bicep
- Bikeshed
- BitBake
- Blade
- BlitzBasic
- BlitzMax
- Bluespec BH
- Bluespec
- Boogie
- Brainfuck
- BrighterScript
- Brightscript
- Browserslist
- C#
- C++
- C
- CAP CDS
- CIL
- CLIPS
- CMake
- COBOL
- CODEOWNERS
- CSON
- CSS
- CSV
- CUE
- CWeb
- Cabal Config
- Caddyfile
- Cadence
- Cairo Zero
- Cairo
- CameLIGO
- Carbon
- CartoCSS
- Ceylon
- Chapel
- Charity
- Checksums
- Circom
- Cirru
- Clarion
- Clarity
- Classic ASP
- Clean
- Click
- Clojure
- Closure Templates
- Cloud Firestore Security Rules
- CoNLL-U
- CodeQL
- CoffeeScript
- ColdFusion CFC
- ColdFusion
- Common Lisp
- Common Workflow Language
- Component Pascal
- Cool
- Coq
- Creole
- Crystal
- Csound Document
- Csound Score
- Csound
- Cuda
- Cue Sheet
- Curry
- Cycript
- Cylc
- Cypher
- D
- D2
- DIGITAL Command Language
- DM
- DNS Zone
- DTrace
- Dafny
- Dart
- DataWeave
- Debian Package Control File
- DenizenScript
- Dhall
- Diff
- DirectX 3D File
- Dockerfile
- Dogescript
- Dotenv
- Dune
- E-mail
- E
- EBNF
- ECL
- ECLiPSe
- EJS
- EQ
- Eagle
- Earthly
- Easybuild
- Ecmarkup
- Edge
- EdgeQL
- EditorConfig
- Edje Data Collection
- Eiffel
- Elixir
- Elm
- Elvish
- Emacs Lisp
- EmberScript
- Erlang
- Euphoria
- F#
- FIGlet Font
- FIRRTL
- FLUX
- Fantom
- Faust
- Fennel
- Filebench WML
- Filterscript
- Fluent
- Formatted
- Forth
- Fortran
- FreeBasic
- FreeMarker
- Frege
- Fstar
- Futhark
- G-code
- GAML
- GAMS
- GAP
- GCC Machine Description
- GDB
- GDScript
- GEDCOM
- GLSL
- GN
- GSC
- Game Maker Language
- Gemfile.lock
- Gemini
- Genero 4gl
- Genero per
- Genie
- Gerber Image
- Gherkin
- Git Attributes
- Git Config
- Git Revision List
- Gleam
- Glimmer JS
- Glimmer TS
- Glyph Bitmap Distribution Format
- Gnuplot
- Go Checksums
- Go Module
- Go Workspace
- Go
- Godot Resource
- Golo
- Gosu
- Grace
- Gradle Kotlin DSL
- Gradle
- Grammatical Framework
- Graph Modeling Language
- GraphQL
- Graphviz (DOT)
- Groovy Server Pages
- Groovy
- HAProxy
- HCL
- HLSL
- HOCON
- HTML+ECR
- HTML+EEX
- HTML+ERB
- HTML+Razor
- HTML
- HXML
- Hack
- Haml
- Handlebars
- Hare
- Haskell
- HiveQL
- HolyC
- Hosts File
- Hy
- HyPhy
- IDL
- IGOR Pro
- INI
- Idris
- Ignore List
- ImageJ Macro
- Imba
- Inform 7
- Ink
- Inno Setup
- Ioke
- Isabelle ROOT
- Isabelle
  - HelloWorld.thy
- J
- JAR Manifest
- JCL
- JFlex
- JSON with Comments
- JSON
- JSON5
- JSONLD
- JSONiq
- Jai
- Janet
- Jasmin
- Java Properties
- Java Template Engine
- Java
- JavaScript+ERB
- JavaScript
- JetBrains MPS
- Jinja
- Jison Lex
- Jison
- Jolie
- Jsonnet
- Julia
- Jupyter Notebook
- KDL
- KRL
- Kaitai Struct
- KakouneScript
- KerboScript
- KiCad Layout
- KiCad Legacy Layout
- KiCad Schematic
- Kickstart
- Kit
- Kotlin
- Kusto
- LFE
- LOLCODE
- LSL
- LTspice Symbol
- LabVIEW
- Lark
- Lasso
- Latte
- Lean 4
- Lean
- Less
- Lex
- LigoLANG
- Limbo
- Linear Programming
- Linker Script
- Linux Kernel Module
- Liquid
- Literate Agda
- Literate CoffeeScript
- LiveCode Script
- LiveScript
- Logos
- Logtalk
- LookML
- LoomScript
- Lua
- Luau
- M
- M4
- M4Sugar
- MAXScript
- MDX
- MLIR
- MQL4
- MQL5
- MTML
- MUF
- Macaulay2
- Makefile
- Markdown
- Marko
- Mask
- Mathematica
- Matlab
- Maven POM
- Max
- Mercury
- Mermaid
- Meson
- Metal
- Microsoft Developer Studio Project
- Microsoft Visual Studio Solution
- MiniYAML
- MiniZinc Data
- MiniZinc
- Mint
- Modelica
- Modula-2
- Modula-3
- Module Management System
- Mojo
- Monkey C
- Monkey
- Moocode
- MoonBit
- MoonScript
- Motoko
- Motorola 68K Assembly
- Move
- Muse
- Mustache
- NASL
- NCL
- NEON
- NL
- NMODL
- NPM Config
- NSIS
- NWScript
- Nasal
- Nearley
- Nemerle
- NetLinx+ERB
- NetLinx
- NetLogo
- NewLisp
- Nextflow
- Nginx
- Nim
- Nit
- Nix
- Noir
- Nu
- Nunjucks
- Nushell
- OASv2-json
- OASv2-yaml
- OASv3-json
- OASv3-yaml
- OCaml
- OMNeT++ MSG
- OMNeT++ NED
- Oberon
- Object Data Instance Notation
- ObjectScript
- Objective-C++
- Objective-C
- Objective-J
- Odin
- Omgrofl
- Opa
- Opal
- Open Policy Agent
- OpenCL
- OpenEdge ABL
- OpenQASM
- OpenRC runscript
- OpenSCAD
- OpenStep Property List
- Option List
- Org
- OverpassQL
- Ox
- Oxygene
- Oz
- P4
- PDDL
- PEG.js
- PHP
- PLSQL
- PLpgSQL
- POV-Ray SDL
- Pact
- Pan
- Papyrus
- Parrot Assembly
- Parrot Internal Representation
- Pascal
- Pawn
- Pep8
- Perl
- Pic
- Pickle
- PicoLisp
- PigLatin
- Pike
- Pip Requirements
- Pkl
- PlantUML
- Pod 6
- Pod
- PogoScript
- Polar
- Pony
- Portugol
- PostCSS
- PostScript
- PowerBuilder
- PowerShell
- Praat
- Prisma
- Processing
- Procfile
- Proguard
- Prolog
- Promela
- Propeller Spin
- Protocol Buffer Text Format
- Protocol Buffer
- Public Key
- Pug
- Puppet
- PureBasic
- PureScript
- Pyret
- Python
- Q#
- QML
- QMake
- Qt Script
- Quake
- QuickBASIC
- R
- RAML
- RBS
- RDoc
- REXX
- RMarkdown
- RON
- RPC
- RPGLE
- RPM Spec
- RUNOFF
- Racket
- Ragel
- Raku
- Rascal
- ReScript
- Readline Config
- Reason
- ReasonLIGO
- Rebol
- Record Jar
- Red
- Redirect Rules
- Regular Expression
- Ren'Py
- RenderScript
- Rez
- Rich Text Format
- Ring
- Riot
- RobotFramework
- Roc
- Roff Manpage
- Roff
- RouterOS Script
- Ruby
- Rust
- SAS
- SCSS
- SELinux Policy
- SMT
- SPARQL
- SQF
- SQL
- SQLPL
- SRecode Template
- SSH Config
- STAR
- STON
- SWIG
- Sage
- SaltStack
- Sass
- Scala
- Scaml
- Scenic
- Scheme
- Scilab
- ShaderLab
- Shell
- ShellCheck Config
- ShellSession
- Shen
- Sieve
- Simple File Verification
- Singularity
- Slash
- Slice
- Slim
- Slint
- SmPL
- Smali
- Smalltalk
- Smithy
- Snakemake
- Soong
- SourcePawn
- Squirrel
- Stan
- Standard ML
- Starlark
- Stata
- StringTemplate
- Stylus
- SubRip Text
- SugarSS
- SuperCollider
- Survex data
- Svelte
- Sway
- Sweave
- Swift
- SystemVerilog
- TI Program
- TL-Verilog
- TLA
- TOML
- TSPLIB data
- TSQL
- TSV
- TSX
- TXL
- Tact
- Talon
- Tcl
- Tcsh
- TeX
- Tea
- Terra
- Terraform Template
- Texinfo
- Text
- TextGrid
- TextMate Properties
- Thrift
- Toit
- Turing
- Turtle
- Type Language
- TypeScript
- TypeSpec
- Typst
- Unity3D Asset
- Unix Assembly
- Uno
- UnrealScript
- UrWeb
- V
- VBA
- VBScript
- VCL
- VHDL
- Valve Data Format
- Velocity Template Language
- Verilog
- Vim Help File
- Vim Snippet
- Vim script
- Visual Basic .NET
- Visual Basic 6.0
- Volt
- Vue
- Vyper
- WGSL
- Wavefront Material
- Wavefront Object
- Web Ontology Language
- WebAssembly Interface Type
- WebAssembly
- WebIDL
- WebVTT
- Wget Config
- Whiley
- Wikitext
- Win32 Message File
- Windows Registry Entries
- Witcher Script
- Wollok
- World of Warcraft Addon Data
- Wren
- X BitMap
- X Font Directory Index
- X PixMap
- X10
- XC
- XCompose
- XML Property List
- XML
- XPages
- XProc
- XQuery
- XS
- XSLT
- Xmake
- Xojo
- Xonsh
- Xtend
- YAML
- YANG
- YARA
- YASnippet
- Yacc
- Yul
- ZAP
- ZIL
- Zeek
- ZenScript
- Zephir
- Zig
- Zimpl
- cURL Config
- crontab
- desktop
- dircolors
- eC
- edn
- fish
- hoon
- iCalendar
- jq
- just
- kvlang
- mIRC Script
- mcfunction
- mdsvex
- nanorc
- q
- reStructuredText
- robots.txt
- sed
- templ
- vCard
- wdl
- wisp
- xBase
scripts
test
.gitignore
.npmignore
LICENSE
README.md
eslint.config.js
index.ts
jest.config.mjs
package.json
pnpm-lock.yaml
tsconfig.json

Isabelle

Name		Name	Last commit message	Last commit date
parent directory ..
HelloWorld.thy		HelloWorld.thy

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

Isabelle

Isabelle

Files

Isabelle

Directory actions

More options

Directory actions

More options

Latest commit

History

Isabelle

Folders and files

parent directory