phanerozoic/Coq-VST download history
phanerozoic/Coq-VST is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 27 times (4 in the last 7 days), and 254 times in total. It ranks #297,781 among datasets by monthly downloads.
Coq-VST A structured dataset of formalizations from the Verified Software Toolchain (VST), a framework for proving correctness of C programs using separation logic in Coq. Source Repository: https://github.com/PrincetonUniversity/VST Commit: dcb836404f5e65b4fe565837b61