It is heavily out of date.
Flagged Out-of-Date Comment: fstar-git
Sup3Legacy flagged fstar-git out-of-date on 2022-01-20 (UTC) for the following reason:
Sup3Legacy flagged fstar-git out-of-date on 2022-01-20 (UTC) for the following reason:
It is heavily out of date.