PackagesAutomated theorem prover for first-order and equational logic
Michał Górny committed on 2024-02-14 09:50:24 UTC
Ulrich Müller committed on 2021-09-11 13:22:48 UTC
Sam James committed on 2021-04-16 11:21:50 UTC
David Seifert committed on 2020-02-22 21:07:26 UTC
Mark Wright committed on 2020-01-07 00:07:36 UTC Ulrich Müller committed on 2017-12-10 11:03:50 UTC
Robin H. Johnson committed on 2017-02-28 19:50:50 UTC
Mike Frysinger committed on 2017-01-21 01:53:52 UTC Michał Górny committed on 2016-01-24 22:58:38 UTC Michał Górny committed on 2016-01-24 22:58:38 UTC
Mike Gilbert committed on 2015-08-24 20:30:34 UTC
Justin Lecher committed on 2015-08-24 10:49:19 UTC
