util

Jan 7, 2025

5aca257 · Jan 7, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
Container.v	Container.v	Adapt w.r.t. coq/coq#16004 .	Jul 6, 2022
Extract.v	Extract.v	Adapt to coq/coq#19530	Sep 17, 2024
PointFree.v	PointFree.v	Adapt to coq/coq#19530	Sep 17, 2024
Qdlog.v	Qdlog.v	Adapt to coq/coq#19530	Sep 17, 2024
Qgcd.v	Qgcd.v	Adapt to coq/coq#19530	Sep 17, 2024
Qsums.v	Qsums.v	Adapt to coq/coq#19801	Jan 7, 2025
SetoidPermutation.v	SetoidPermutation.v	Adapt w.r.t. coq/coq#16004 .	Jul 6, 2022

Provide feedback