Add link to Corelib doc and Stdlib refman

Author: proux01

src/global/url.ml

@@ -63,8 +63,12 @@ let patch v =
 let v2 = "https://v2.ocaml.org"
 let manual_with_version v = "/doc/V" ^ patch v ^ "/refman/index.html"
 let manual = "/refman"
+let corelib_with_version v = "/doc/V" ^ patch v ^ "/corelib/index.html"
+let corelib = "/corelib"
 let stdlib_with_version v = "/doc/V" ^ patch v ^ "/stdlib/index.html"
 let stdlib = "/stdlib"
+let stdlib_manual_with_version v = "/doc/V" ^ patch v ^ "/refman-stdlib/index.html"
+let stdlib_manual = "/refman-stdlib"
 let api_with_version v = "/doc/V" ^ patch v ^ "/api/index.html"
 let api = "/api"
 let books = "/books"

src/rocqproverorg_frontend/pages/learn.eml

@@ -27,8 +27,10 @@ Learn_layout.single_column_layout
       <div class="flex flex-col gap-4 md:gap-6 md:w-80">
         <%s!  Hero_section.hero_button ~left_icon:(Icons.rocq "w-5 h-5") ~right_icon:(Icons.download "w-5 h-5") ~text:("Install Rocq Platform " ^ latest_platform_version) 
           ~href:(Url.install) "" %>
-        <%s!  Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Standard Library") ~href:(Url.stdlib) "" %>
         <%s!  Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Rocq Reference Manual") ~href:(Url.manual) "" %>
+        <%s!  Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Core Library") ~href:(Url.corelib) "" %>
+        <%s!  Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Standard Library Manual") ~href:(Url.stdlib_manual) "" %>
+        <%s!  Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Standard Library") ~href:(Url.stdlib) "" %>
       </div>
     </div>
   </div>