GitHub		https://github.com/FStarLang/FStar
Size		777.8M (774.7M (+3.1M))
Commits		45052 (44955 (+97))
Update Stats		0s ... 40m3s [Ø (last 10) 10s (7,7,9,9,9,10,7,7,8,24))]
Last Change		2025-12-26 03:26:51
Last Check		2026-01-08 18:26:55
Created		2022-07-24 15:38:12

Messages as of last check on 2026-01-08 18:26:55

Operation

Verifying url ...

Contact information

Mail to Andreas Kupries