This repository was archived by the owner on Apr 25, 2024. It is now read-only.

History / Lean compilation

Revisions

Updated Lean compilation (org)

alexander-yakushev committed Jan 31, 2016

d9619a8
Updated Lean compilation (org)

alexander-yakushev committed Jan 31, 2016

38d22e8
Update lean compilation

alexander-yakushev committed Sep 2, 2015

3587a2e
Update lean compilation

alexander-yakushev committed Jun 22, 2015

bc7b75a
Update lean compilation

alexander-yakushev committed Feb 24, 2015

610f036
Add version badge

alexander-yakushev committed Feb 23, 2015

d5f6287
Fix skummet docs

alexander-yakushev committed Feb 23, 2015

1873238
Add Skummet docs

alexander-yakushev committed Feb 23, 2015

c6daec2