Store 2500


Verification system for effectful programs - FStarLang


GitHub		https://github.com/FStarLang/FStar
Size		778.4M (778.3M (+112K))
Commits		45064 (45062 (+2))
Update Stats		0s ... 40m3s [Ø (last 10) 12s (9,11,11,9,12,24,12,10,10,12))]
Last Change		2026-01-31 22:26:52
Last Check		2026-04-19 15:46:02
Created		2022-07-24 15:38:12

Messages as of last check on 2026-04-19 15:46:02

Operation

Verifying url ...