Revision history for entry Marcone, Alberto: Jeremy Avigad. Formalizing forcing arguments in subsystems o.. [MARJAF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-06-16T15:03:37updateSystem / admin update
2019-05-08T07:43:49updateSystem / admin update
2019-05-08T07:43:49updateSystem / admin update
2019-05-08T09:30:17updateSystem / admin update
2019-05-08T08:41:09addSystem / admin update