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

Messages as of last check on 2026-01-31 22:26:43

Operation

Verifying url ...

Contact information

Mail to Andreas Kupries