Total 1 Port(s) with Variant: coqide
Name Version Description
coq 8.8.2 Proof assistant for higher-order logic



Port Information was last updated at:
2020-07-14 05:52 (UTC)
45851f51

Latest build fetched has 'start time':
2020-07-14 05:32 (UTC)

Latest stats submission was received at:
2020-07-14 06:56 (UTC)