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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-pkgs/	09-Dec-2022 13:09	-
	package.json	09-Dec-2022 13:09	128