abella
abella 2.0.8
Interactive theorem prover
<rendered-html><p>Abella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding.</p> </rendered-html>
https://abella-prover.orgGNU General Public License v3.0
main program: abellaprograms: abella
Maintainers
Platforms (45)
m68k-linuxpowerpc-netbsdx86_64-solarisarmv7l-linuxarmv6l-netbsdx86_64-freebsdx86_64-redoxriscv64-netbsd
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ abella ];
Ad-hoc shell
nix-shell -p abella
Flake (nix run)
nix run nixpkgs#abella