Vendor: MPI Tech
ELAN by MPI Tech
ELAN is a professional tool to manually and semi-automatically annotate and transcribe audio or video recordings, widely used in humanities and social sciences research. It supports multi-level, multi-participant annotation of time-based media and is distributed as free and open source software under the GNU GPL v3.
Follow to track new versions in your feed.
Overview
0
Silent install
Uninstall
msiexec /i elan-7.0.msi /quiet /norestartUninstall
msiexec /x elan-7.0.msi /quiet /norestart Version & Lifecycle
0
Community Notes
No community notes yet
Be the first to as a good question or share deployment tips, customization scripts, command lines, or troubleshooting steps.
Release Notes & Updates
0
Avg cadence: —
Next anticipated release: —
Updates • 0
Help us match vulnerabilities
No vulnerability match yet. Pick the right product:
Looking for matching products…
Don’t see it? Paste a CPE
Also known as
Packaging Notes
0
Includes Java 24 runtime; supports Windows, macOS, Linux
Vendor: Lean Software
Back to top ↑
Elan by Lean Software
Elan is the Lean toolchain manager responsible for installing and running Lean toolchains, enabling seamless use of multiple Lean versions across projects.
Follow to track new versions in your feed.
Overview
0
Version & Lifecycle
0
Community Notes
No community notes yet
Be the first to as a good question or share deployment tips, customization scripts, command lines, or troubleshooting steps.
Release Notes & Updates
0
Avg cadence: —
Next anticipated release: —
Updates • 0
Help us match vulnerabilities
No vulnerability match yet. Pick the right product:
Looking for matching products…
Don’t see it? Paste a CPE
Also known as
Packaging Notes
0
Elan manages multiple concurrent versions of the Lean theorem prover toolchains and automatically installs required versions per project context.
