Merge pull request #67 from coq/update-stdlib

Add Stdlib aditional assets
coq · Jan 20, 2025 · ce10a0b · ce10a0b
2 parents 46fa632 + e3eb7bc
commit ce10a0b
Show file tree

Hide file tree

Showing 4 changed files with 1,890 additions and 0 deletions.
diff --git a/asset/css/stdlib.css b/asset/css/stdlib.css
diff --git a/asset/logos/favicon_stdlib.ico b/asset/logos/favicon_stdlib.ico
diff --git a/asset/logos/logo-rocq-stdlib-dark.svg b/asset/logos/logo-rocq-stdlib-dark.svg
diff --git a/asset/logos/logo-rocq-stdlib.svg b/asset/logos/logo-rocq-stdlib.svg