GitHub		https://github.com/FStarLang/FStar
Size		772.2M (772.2M (+36K))
Commits		44873 (44871 (+2))
Update Stats		0s ... 40m3s [Ø (last 10) 7s (5,6,6,8,5,8,9,7,9,7))]
Last Change		2025-10-27 14:26:50
Last Check		2025-10-27 14:26:43
Created		2022-07-24 15:38:12

Messages as of last check on 2025-10-27 14:26:43

Operation

Verifying url ...

Contact information

Mail to Andreas Kupries