API for open (as in free variables) terms #133

Job	Run time
coq	1m 0s
coq-elpi	2m 4s
hierarchy-builder	1m 53s
mathcomp-ssreflect	3m 52s
autosubst	1m 49s
QuickChick	2m 29s
mathcomp-bigenough	1m 49s
coquelicot	2m 25s
mathcomp-fingroup	2m 33s
mathcomp-finmap	1m 59s
relation-algebra	2m 52s
interval	3m 34s
mathcomp-algebra	4m 14s
mathcomp-classical	3m 46s
multinomials	3m 10s
mathcomp-solvable	3m 42s
mathcomp-field	4m 11s
mathcomp-reals	2m 47s
mathcomp-reals-stdlib	0s
mathcomp-experimental-reals	0s
mathcomp-real-closed	3m 13s
mathcomp-character	3m 59s
mathcomp-analysis	0s
mathcomp-analysis-stdlib	0s
coqeal	0s
mathcomp	4m 15s
odd-order	12m 9s
	1h 13m 45s

Provide feedback