We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5583839 commit c138298Copy full SHA for c138298
dev/ci/user-overlays/21450-TDiazT-elab-sorts.sh
@@ -0,0 +1,4 @@
1
+overlay lean_importer https://github.com/TDiazT/rocq-lean-import elab-sorts 21450
2
+overlay equations https://github.com/TDiazT/Coq-Equations elab-sorts 21450
3
+overlay hott https://github.com/TDiazT/Coq-HoTT elab-sorts 21450
4
+overlay elpi https://github.com/TDiazT/coq-elpi elab-sorts 21450
0 commit comments