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

Messages as of last check on 2026-02-24 21:07:02

Operation

Verifying url ...

Contact information

Mail to Andreas Kupries