Overlays for template pseudo sort poly

SkySkimmer · SkySkimmer · commit 203f1fd0444c · 2025-01-23T15:21:48.000+01:00
diff --git a/dev/ci/user-overlays/19985-SkySkimmer-cominductive-lbound.sh b/dev/ci/user-overlays/19985-SkySkimmer-cominductive-lbound.sh
@@ -0,0 +1 @@
+overlay lean_importer https://github.com/SkySkimmer/coq-lean-import cominductive-lbound 19985

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+overlay lean_importer https://github.com/SkySkimmer/coq-lean-import cominductive-lbound 19985`