Please delete this repo

[sindikat]

Benjamin Pierce et al. ask people to not post solutions online, as said in the preface:

Please do not post solutions to the exercises in any public place: Software Foundations is widely used both for self-study and for university courses. Having solutions easily available makes it much less useful for courses, which typically have graded homework assignments. The authors especially request that readers not post solutions to the exercises anyplace where they can be found by search engines.

-- https://www.cis.upenn.edu/~bcpierce/sf/current/Preface.html#lab12

I understand that with technology and Internet it is hard for authors to enforce this rule (and in principle we should rethink how generate our exercises), but it is still a good idea to not post the solutions anyway.

[chrisosaurus]

Please dont delete this repo. Im studying this book myself at home and i got stuck on a few proofs (rev_injective from lists.v) Since the book lacks solutions I wasn’t able to progress until i found this (https://github.com/tymmym/software-foundations/blob/master/Lists.v#L915)

Thank you so much for having this online.