aboutsummaryrefslogtreecommitdiff
path: root/to_gallina.md
Commit message (Expand)AuthorAge
* removed subtraction from todoGravatar jadep2016-05-09
* remove line from todoGravatar Andres Erbsen2016-04-28
* Update to_gallina.mdGravatar jadep2016-04-22
* finished last cases of nonzero proofs for associativityGravatar jadep2016-04-21
* wrote up remaining tasks needed for Gallina code (from board at 04/19 meeting)Gravatar jadep2016-04-21