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

Messages as of last check on 2026-03-26 23:46:02

Operation

Verifying url ...

Contact information

Mail to Andreas Kupries