naproche
Naproche-SAD unstable-2024-05-19 · pkgs/by-name/na/naproche/package.nix
Health
Risk
risk 1 low
- +1 no versionCheckHook
Version
unstable-2024-05-19 no newer release known to repology
Channels
master unstable-2024-05-19 · nixos-unstable unstable-2024-05-19 · nixos-26.05 unstable-2024-05-19 no channel is behind master
Hydra
succeeded 3d ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Write formal proofs in natural language and LaTeX
License
Platforms
79 platforms: Linux, Darwin
Main program
Naproche-SADSource provenance
not set: built from source
Outputs
out docStatus
not broken, not insecure, free
Maintainers
Version bumps 0
all open bumpsNone open.
Pull requests 0
None open.
Issues 0
None open.