{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"acl2","owner":"acl2","isFork":false,"description":"ACL2 System and Books as Maintained by the Community","allTopics":["logic","theorem-proving","first-order-logic","formal-methods","formal-verification","theorem-prover","rewriting","acl2","common-lisp"],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":3,"issueCount":104,"starsCount":350,"forksCount":97,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T16:37:32.957Z"}},{"type":"Public","name":"docs","owner":"acl2","isFork":false,"description":"Papers and presentations from workshops, seminars, etc.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-08T00:30:05.877Z"}}],"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":"acl2 repositories"}