{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"zipperposition","owner":"sneeuwballen","isFork":false,"description":"An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.","allTopics":["prototype","experimental","computer-science-algorithms","logic","polymorphism","cnf","saturation","induction","symbolic-computation","rewriting","ocaml","superposition","prover"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":36,"starsCount":134,"forksCount":19,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T17:07:52.385Z"}},{"type":"Public","name":"benchpress","owner":"sneeuwballen","isFork":false,"description":"Testing and benchmarking tool for logic-related programs.","allTopics":["ocaml","test-runner","web-ui","smtlib","tptp","benchmark-scripts"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":19,"starsCount":26,"forksCount":7,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T13:51:53.931Z"}}],"repositoryCount":2,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"sneeuwballen repositories"}