{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"ssprove","owner":"SSProve","isFork":false,"description":"A foundational framework for modular cryptographic proofs in Coq","allTopics":["cryptography","coq-formalization","formal-verification","coq-library","state-separating-proofs","modular-cryptographic-proofs"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":5,"issueCount":3,"starsCount":57,"forksCount":10,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-06T10:12:20.604Z"}}],"repositoryCount":1,"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":"SSProve repositories"}