nixpkgs / abella - 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.

Homepage - http://abella-prover.org/

License - GPL-3.0

Maintainers - Ben Darwin - Simon Lackerbauer

Releases

2.0.7 (expand/collapse)
From commit 00460bd6 to 00460bd6
2.0.6 (expand/collapse)
From commit 039e3758 to 039e3758
2.0.7 (expand/collapse)
From commit 00f7e1e8 to 021410c0
2.0.6 (expand/collapse)
From commit 0757207f to 0757207f
2.0.7 (expand/collapse)
From commit 0335855b to 0615bf07
2.0.6 (expand/collapse)
From commit 050c5948 to 050c5948
2.0.7 (expand/collapse)
From commit 02bce71c to 05011436
2.0.6 (expand/collapse)
From commit 076ffa9c to 076ffa9c
2.0.7 (expand/collapse)
From commit 026fddec to 00ba9c33
2.0.6 (expand/collapse)
From commit 04c91b2c to 04c91b2c
2.0.7 (expand/collapse)
From commit 0530b5e1 to 06078e86
2.0.6 (expand/collapse)
From commit 06c08984 to 038152e4
2.0.5 (expand/collapse)
From commit 06339255 to 0756066b
2.0.6 (expand/collapse)
From commit 02b1b8ea to 02b1b8ea
2.0.5 (expand/collapse)
From commit 0607adde to 06bcc2de
2.0.4 (expand/collapse)
From commit 02a3726a to 02a3726a
2.0.5 (expand/collapse)
From commit 075e4883 to 0111c7d8
2.0.2 (expand/collapse)
From commit 044ceae2 to 044ceae2
2.0.5 (expand/collapse)
From commit 00528006 to 0560caa5
2.0.4 (expand/collapse)
From commit 077811eb to 077811eb
2.0.5 (expand/collapse)
From commit 04113fb8 to 04e13de9
2.0.4 (expand/collapse)
From commit 01e1722e to 01e1722e
2.0.5 (expand/collapse)
From commit 0288f77c to 03cf4bf6
2.0.4 (expand/collapse)
From commit 0215ae06 to 0215ae06
2.0.5 (expand/collapse)
From commit 0212152f to 026f6527
2.0.4 (expand/collapse)
From commit 07308991 to 07308991
2.0.5 (expand/collapse)
From commit 0236a947 to 05f175e0
2.0.4 (expand/collapse)
From commit 01a7d703 to 00860361
2.0.2 (expand/collapse)
From commit 03bcadd4 to 03bcadd4
2.0.4 (expand/collapse)
From commit 00269f66 to 0711fe96
2.0.2 (expand/collapse)
From commit 07e2460a to 07e2460a
2.0.4 (expand/collapse)
From commit 01ab8002 to 0094ca20
2.0.2 (expand/collapse)
From commit 04b3b009 to 04b3b009
2.0.4 (expand/collapse)
From commit 07a6ae40 to 0671a2b6
2.0.2 (expand/collapse)
From commit 01bf32de to 01bf32de
2.0.4 (expand/collapse)
From commit 02a23b7b to 0204936c
2.0.2 (expand/collapse)
From commit 032859fa to 07bc859e