[TC] update register for coq wrt coq PR#19148#635
Closed
FissoreD wants to merge 4 commits intoLPCIC:coq-masterfrom FissoreD:tc_register_in_coq
+277-1,550
Commits
Commits on Jun 5, 2024
- committed
- committed
Commits on Jun 7, 2024
- committed
Davide Fissore - committed