Mentions légales du service
8 forks: 7 public, 0 internal, and 1 private
Created date
View itauto project
SOZEAU Matthieu /
itauto
Merge branch 'elimination-constraints' into 'master'
0
Updated
Dec 15, 2025
0
0
0
0
Updated
Dec 15, 2025
View itauto project
DIAZ TRONCOSO Tomas /
itauto
Adapt to
https://github.com/rocq-prover/stdlib/pull/209
0
Updated
Nov 24, 2025
0
0
0
0
Updated
Nov 24, 2025
View itauto project
GALLEGO ARIAS Emilio Jesus /
itauto
[fix Makefile]
0
Updated
Apr 04, 2024
0
0
0
0
Updated
Apr 04, 2024
View itauto project
HERBELIN Hugo /
itauto
Merge branch 'drop-rectypes-coq_makefile' into 'master'
0
Updated
Mar 06, 2023
0
0
0
0
Updated
Mar 06, 2023
View itauto project
PEDROT Pierre-Marie /
itauto
NOTPARALLEL build
0
Updated
Jun 03, 2026
0
0
0
0
Updated
Jun 03, 2026
View itauto project
TASSI Enrico /
itauto
NOTPARALLEL build
0
Updated
Feb 03, 2022
0
0
0
0
Updated
Feb 03, 2022
View itauto project
GILBERT Gaetan /
itauto
Compat coq master
0
Updated
Apr 20, 2026
0
0
0
0
Updated
Apr 20, 2026
