Trocq

HAL (Le Centre pour la Communication Scientifique Directe) 2026 Open access

Read full text
Authors: Cyril Cohen, Enzo Crance, Lahaye, Lucie, Mahboubi, Assia
DOI: 10.5281/zenodo.10492403
Cited by: 0

Abstract

What's Changed Algorithm for populating Trocq database for inductives by @Tvallejos in https://github.com/rocq-community/trocq/pull/73 fix ci by @CohenCyril in https://github.com/rocq-community/trocq/pull/87 fix ci: upd hott by @CohenCyril in https://github.com/rocq-community/trocq/pull/88 Adding Tomas Vallejos as author by @CohenCyril in https://github.com/rocq-community/trocq/pull/89 New Contributors @Tvallejos made their first contribution in https://github.com/rocq-community/trocq/pull/73 Full Changelog: https://github.com/rocq-community/trocq/compare/0.3.0...0.4.0

Publication details

Journal / source
HAL (Le Centre pour la Communication Scientifique Directe)
Publication date
1 July 2026
Language
EN