nixpkgs / ekrhyper - Automated first-order theorem prover

License - GPL-2.0

Maintainers - Michael Raskin

Releases

1_4_21022014 (expand/collapse)
From commit 0558c872 to 00460bd6
1_4_20112013 (expand/collapse)
From commit 05fcd91c to 061b489f
1_4_30072013 (expand/collapse)
From commit 03e1178f to 06fe4d99
1_4_08022013 (expand/collapse)
From commit 06675485 to 06d6c3ed