Status Update

aupiff is 39% done

— Mar 23, 2017 10:03AM

Like flag

aupiff’s Previous Updates

aupiff is 36% done

— Mar 09, 2017 11:42AM

aupiff is 33% done

Rel.v, Extraction.v

— Feb 21, 2017 03:42PM

aupiff is 28% done

Finishing Maps.v

— Feb 20, 2017 05:44AM

aupiff is 25% done

Finished ProofObjects.v -- An incredible chapter, but it turns out that SF has very little content about Dependent Types.

— Feb 11, 2017 04:25AM

aupiff is 22% done

Finishing IndProp.v

— Feb 08, 2017 12:10PM

aupiff is 19% done

— Jan 31, 2017 01:44PM

aupiff is 17% done

— Jan 24, 2017 11:01PM

aupiff is 14% done

Finished Poly.v

— Jan 23, 2017 04:14PM

aupiff is 11% done

Finished Lists.v, the 4th Chapter of 36. Former status updates were wrong. Whoops.

— Jan 18, 2017 03:45PM

aupiff is 16% done

— Jan 15, 2017 08:29PM

No comments have been added yet.