PackagesA generic interface for proof assistants
Maciej Barć committed on 2023-08-11 16:41:46 UTC Maciej Barć committed on 2023-01-30 20:31:30 UTC
Agostino Sarubbo committed on 2022-08-16 07:46:10 UTC Maciej Barć committed on 2022-07-14 14:37:14 UTC Maciej Barć committed on 2022-06-02 13:32:09 UTC
Jakov Smolić committed on 2022-05-11 09:33:05 UTC
Ulrich Müller committed on 2021-09-11 13:22:48 UTC
Sergei Trofimovich committed on 2019-10-12 21:16:11 UTC Agostino Sarubbo committed on 2019-10-11 12:08:00 UTC Agostino Sarubbo committed on 2019-10-11 10:09:03 UTC Ulrich Müller committed on 2019-09-05 15:05:08 UTC Ulrich Müller committed on 2018-06-11 21:56:41 UTC Ulrich Müller committed on 2017-11-26 09:39:46 UTC
Robin H. Johnson committed on 2017-02-28 19:50:50 UTC
Michał Górny committed on 2016-01-24 22:58:38 UTC Ulrich Müller committed on 2016-01-24 19:57:11 UTC
Mike Gilbert committed on 2015-08-24 20:30:34 UTC
Justin Lecher committed on 2015-08-24 10:49:19 UTC Robin H. Johnson committed on 2015-08-09 00:38:18 UTC