Index of /~monin/Proof/Small_inversions/2021

	Name	Last modified	Size	Description
	Parent Directory		-
	README.md	2021-07-01 11:19	621
	smaller_finite_set.v	2021-07-01 11:31	8.5K
	nb_steps.v	2021-07-01 11:42	6.5K
	list_from_right/	2021-07-01 11:42	-
	eval_exp.v	2021-07-01 16:11	9.1K