{"id":21340017,"url":"https://github.com/imandra-ai/imandra-stdlib","last_synced_at":"2025-10-24T09:59:20.740Z","repository":{"id":97326634,"uuid":"135768271","full_name":"imandra-ai/imandra-stdlib","owner":"imandra-ai","description":"Standard library for [Imandra](https://imandra.ai)","archived":false,"fork":false,"pushed_at":"2024-08-15T17:23:46.000Z","size":66,"stargazers_count":5,"open_issues_count":1,"forks_count":0,"subscribers_count":9,"default_branch":"master","last_synced_at":"2025-10-24T09:59:18.571Z","etag":null,"topics":["formal-methods","imandra","induction","stdlib"],"latest_commit_sha":null,"homepage":null,"language":"Makefile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/imandra-ai.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2018-06-01T22:22:11.000Z","updated_at":"2024-08-15T17:23:50.000Z","dependencies_parsed_at":"2024-01-23T12:28:17.503Z","dependency_job_id":"6e40e936-87d4-4a2b-88f4-cadca20fb0f5","html_url":"https://github.com/imandra-ai/imandra-stdlib","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/imandra-ai/imandra-stdlib","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fimandra-stdlib","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fimandra-stdlib/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fimandra-stdlib/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fimandra-stdlib/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/imandra-ai","download_url":"https://codeload.github.com/imandra-ai/imandra-stdlib/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fimandra-stdlib/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":280776479,"owners_count":26388950,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-10-24T02:00:06.418Z","response_time":73,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["formal-methods","imandra","induction","stdlib"],"created_at":"2024-11-22T00:48:46.199Z","updated_at":"2025-10-24T09:59:20.706Z","avatar_url":"https://github.com/imandra-ai.png","language":"Makefile","readme":"# Standard library for [Imandra](https://imandra.ai) \n\nThis library contains source files for basic data structures and algorithms\nformalized in Imandra.\n\n\n## Install\n\n```\nopam pin add -k git imandra-stdlib https://github.com/AestheticIntegration/imandra-stdlib.git\n```\n\nor locally (requires `ocamlfind`):\n\n```\nmake install\n```\n\n## Use\n\nAssuming you have access to Imandra:\n\n\n```ocaml\n# #require \"imandra-stdlib\";;\n```\n\nit should load and parse the files of the stdlib. This will take some\ntime as theorems need to be re-proved.\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimandra-ai%2Fimandra-stdlib","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fimandra-ai%2Fimandra-stdlib","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimandra-ai%2Fimandra-stdlib/lists"}