{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"website","owner":"gapt","isFork":false,"description":"the gapt website","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-27T13:30:55.357Z"}},{"type":"Public","name":"gapt","owner":"gapt","isFork":false,"description":"GAPT: General Architecture for Proof Theory","allTopics":["theorem-proving","tactics","sat-solver","proofs","scala","proof","herbrand-disjunction"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":43,"starsCount":94,"forksCount":18,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-27T12:48:37.274Z"}},{"type":"Public","name":"SuperInd","owner":"gapt","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-19T16:03:47.717Z"}},{"type":"Public","name":"viper-results","owner":"gapt","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-20T21:07:33.423Z"}},{"type":"Public","name":"benchmarks","owner":"gapt","isFork":true,"description":"Tons of Inductive Problems: The Benchmarks","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-07T17:04:22.098Z"}},{"type":"Public","name":"gaptic-example","owner":"gapt","isFork":false,"description":"Template project for the gaptic tactics language.","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-06T17:23:00.129Z"}},{"type":"Public","name":"cutintro-results","owner":"gapt","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-04T15:15:15.407Z"}},{"type":"Public","name":"archive","owner":"gapt","isFork":false,"description":"collection of old documents and data pertaining to gapt development","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-03T13:23:33.459Z"}}],"repositoryCount":8,"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":"gapt repositories"}