nixpkgs / eprover - Automated theorem prover for full first-order logic with equality

Homepage - http://www.eprover.org/

License - GPL-2.0

Maintainers - Michael Raskin - Gabriel Ebner

Outputs

out (expand/collapse)

Releases

2.6 (expand/collapse)
From commit 02c142a2 to 00460bd6
2.5 (expand/collapse)
From commit 074ef76e to 074ef76e
2.6 (expand/collapse)
From commit 04855119 to 07557e3b
2.5 (expand/collapse)
From commit 065a8102 to 065a8102
2.6 (expand/collapse)
From commit 0319f3a9 to 04de1306
2.5 (expand/collapse)
From commit 02b42cf7 to 02b42cf7
2.6 (expand/collapse)
From commit 07500621 to 0432fe10
2.5 (expand/collapse)
From commit 015fa4e5 to 015fa4e5
2.6 (expand/collapse)
From commit 05b9351c to 05046c2c
2.5 (expand/collapse)
From commit 06749ba3 to 00f70edc
2.4 (expand/collapse)
From commit 05fe6112 to 05fe6112
2.5 (expand/collapse)
From commit 066544a7 to 0096eb92
2.4 (expand/collapse)
From commit 05a16be9 to 05a16be9
2.5 (expand/collapse)
From commit 00eedc07 to 0456d939
2.4 (expand/collapse)
From commit 01ce2551 to 01ce2551
2.5 (expand/collapse)
From commit 035b0995 to 002077c0
2.4 (expand/collapse)
From commit 0218f30a to 0143a1fa
2.2 (expand/collapse)
From commit 0767de3d to 0767de3d
2.4 (expand/collapse)
From commit 0634484a to 00610756
2.3 (expand/collapse)
From commit 036cef94 to 010d2f4a
2.4 (expand/collapse)
From commit 02f869ff to 016111e8
2.3 (expand/collapse)
From commit 04f3bc51 to 04f3bc51
2.4 (expand/collapse)
From commit 0646b9f7 to 069364f3
2.3 (expand/collapse)
From commit 069e9fd4 to 069e9fd4
2.4 (expand/collapse)
From commit 053168d4 to 03941c1e
2.3 (expand/collapse)
From commit 04cb05d2 to 04cb05d2
2.4 (expand/collapse)
From commit 03e78496 to 03e6ca15
2.3 (expand/collapse)
From commit 06c5e811 to 06c5e811
2.4 (expand/collapse)
From commit 062a4d40 to 07b40774
2.3 (expand/collapse)
From commit 03f38c32 to 03f38c32
2.4 (expand/collapse)
From commit 049c47c6 to 0050f130
2.3 (expand/collapse)
From commit 0724efc3 to 0534e9c4
2.4 (expand/collapse)
From commit 07160184 to 07160184
2.3 (expand/collapse)
From commit 02c3bcee to 02c3bcee
2.4 (expand/collapse)
From commit 04742d00 to 035dcb39
2.3 (expand/collapse)
From commit 00263c93 to 0790fbca
2.2 (expand/collapse)
From commit 00a52224 to 00a52224
2.3 (expand/collapse)
From commit 04cc8385 to 02ea1812
2.2 (expand/collapse)
From commit 0045164b to 0045164b
2.3 (expand/collapse)
From commit 03edc1e5 to 06fad89b
2.2 (expand/collapse)
From commit 0231273a to 0231273a
2.3 (expand/collapse)
From commit 06026f28 to 037c1565
2.2 (expand/collapse)
From commit 0778b2c9 to 0778b2c9
2.3 (expand/collapse)
From commit 06041661 to 07458c2f
2.2 (expand/collapse)
From commit 032d610a to 013ddbeb
2.1 (expand/collapse)
From commit 04fe84d2 to 0217c298
2.2 (expand/collapse)
From commit 02bf0e58 to 02bf0e58
2.1 (expand/collapse)
From commit 02fdfdda to 06f36767
2.2 (expand/collapse)
From commit 02693e32 to 0270dda6
2.1 (expand/collapse)
From commit 058e787b to 00370bc7
2.2 (expand/collapse)
From commit 0045ea5b to 0045ea5b
2.1 (expand/collapse)
From commit 07be6313 to 07748ae5
2.2 (expand/collapse)
From commit 068374c0 to 068374c0
2.1 (expand/collapse)
From commit 04c4ea1e to 0266996a
2.2 (expand/collapse)
From commit 072b2b86 to 02b2f62d
2.1 (expand/collapse)
From commit 0607adde to 0699f9ef
2.0 (expand/collapse)
From commit 02a3726a to 02a3726a
2.1 (expand/collapse)
From commit 075e4883 to 0111c7d8
1.9 (expand/collapse)
From commit 044ceae2 to 044ceae2
2.1 (expand/collapse)
From commit 00ab5c5b to 0560caa5
2.0 (expand/collapse)
From commit 016922f8 to 016922f8
2.1 (expand/collapse)
From commit 02f70536 to 06b42906
2.0 (expand/collapse)
From commit 05bc5fed to 05bc5fed
2.1 (expand/collapse)
From commit 015d1380 to 027d52ff
2.0 (expand/collapse)
From commit 05ca6710 to 05ca6710
2.1 (expand/collapse)
From commit 078925c9 to 03476783
2.0 (expand/collapse)
From commit 00269f66 to 07db547c
1.9.1 (expand/collapse)
From commit 07e2460a to 07e2460a
2.0 (expand/collapse)
From commit 00a99022 to 0094ca20
1.9.1 (expand/collapse)
From commit 0761b0bc to 05ac3f95
1.9 (expand/collapse)
From commit 06e16f00 to 06e16f00
1.9.1 (expand/collapse)
From commit 01f3e331 to 000fb9be
1.9 (expand/collapse)
From commit 03730319 to 00f444d0
1.8 (expand/collapse)
From commit 024b0414 to 024b0414
1.9 (expand/collapse)
From commit 032f0ffd to 0635ec3b
1.8 (expand/collapse)
From commit 03e1178f to 062cdfb3
1.7 (expand/collapse)
From commit 01f0df87 to 06d6c3ed
1.6 (expand/collapse)
From commit 019472ea to 019472ea
1.7 (expand/collapse)
From commit 078ddf47 to 078ddf47
1.6 (expand/collapse)
From commit 0447c4f9 to 0703250f
1.4 (expand/collapse)
From commit 07de46c2 to 045b3547
1.2 (expand/collapse)
From commit 05c7e81e to 032617b0
0.999 (expand/collapse)
From commit 02f39c02 to 02e4b5ff