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

Messages as of last check on 2026-03-16 21:06:45

Operation

Verifying url ...

Contact information

Mail to Andreas Kupries