Index of /teams/marelle/MC-2022/node_modules/@jscoq/algebra-tactics/coq-pkgs

	Name	Last modified	Size	Description
	Parent Directory		-
	algebra-tactics.json	09-Dec-2022 13:09	833
	algebra-tactics.coq-pkg	09-Dec-2022 13:09	502K