isabelle
isabelle 2025-2 · pkgs/by-name/is/isabelle/package.nix
Health
Risk
risk 2 low
- +2 no meta.mainProgram, no versionCheckHook
Version
2025-2 no newer release known to repology
Channels
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Generic proof assistant
Long description
Isabelle is a generic proof assistant. It allows mathematical formulas
to be expressed in a formal language and provides tools for proving those
formulas in a logical calculus.
Homepage
License
Platforms
3 platforms: Linux, Darwin
Source provenance
fromSource binaryNativeCodeOutputs
outStatus
not broken, not insecure, free
Maintainers
Version bumps 0all open bumps
None open.
Pull requests 6
isabelle-components.isabelle-linter: bring isabelle-linter in-sync with nixpkgs' isabelle and add tests
#574437 by ETCaton · opened 1d ago · checks pass
isabelle: rewrite to avoid binary tarballs draft
#567461 by sempiternal-aurora · opened 2w ago · checks fail
treewide: use copyDesktopItems for desktop entry installation draft
#565437 by ShadowRZ · opened 3w ago · checks pass
isabelle: cleanup and properly fix vscodium
#549004 by sempiternal-aurora · opened 2mo ago
treewide: use `desktopItems` (plural) instead of `desktopItem`
#511149 by PerchunPak · opened 6mo ago
isabelle: add option to build with emacs integration
#433747 by astrobeastie · opened 14mo ago · checks pass
Closed or merged in the synced window 3
[Backport release-26.05] vampire: 5.0.1 -> 5.1.0
#571139 by nixpkgs-ci · merged 10d ago
scala: 3.3.8 -> 3.9.0
#560682 by siraben · merged 5w ago
vampire: 5.0.1 -> 5.1.0
#553227 by sempiternal-aurora · merged 3w ago
Issues 0
None open.