Verification system for effectful programs - FStarLang |
GitHub | https://github.com/FStarLang/FStar | |
Size | 755.7M (755.6M (+184K)) | |
Commits | 40893 (40890 (+3)) | |
Update Stats | 0s ... 40m3s [Ø (last 10) 5s (13,3,3,4,5,4,4,4,4,5))] | |
Last Change | 2023-09-16 14:26:44 | |
Last Check | 2023-09-16 14:26:34 | |
Created | 2022-07-24 15:38:12 |
Operation
Verifying url ...
Mail to Andreas Kupries