twelf

twelf 1.7.1 · pkgs/by-name/tw/twelf/package.nix

Health

Risk

risk 2 low

+2 no meta.mainProgram, no versionCheckHook

Version

1.7.1 no newer release known to repology

Channels

master 1.7.1 · nixos-unstable 1.7.1 · nixos-26.05 1.7.1 no channel is behind master

Hydra

succeeded 2d ago

Advisories

none open

Packaging

no meta.mainProgram no versionCheckHook

Packagewhat each field means

Description

Logic proof assistant

Long description

Twelf is a language used to specify, implement, and prove properties of
deductive systems such as programming languages and logics. Large
research projects using Twelf include the TALT typed assembly language,
a foundational proof-carrying-code system, and a type safety proof for
Standard ML.

Homepage

http://twelf.org/wiki/Main_Page

License

MIT

Platforms

45 platforms: Linux, Darwin

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free