Revision history for entry Ramos, Arthur Freitas: Explicit Computational Paths in Type Theory [RAMECP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-06-14T20:40:04update
2019-07-28T03:20:09updateSystem / admin update
2019-07-27T19:01:06addSystem / admin update