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