GNU Guix is consists of Scheme code that implements the deployment model
of the Nix package management tool.  In fact, it currently talks to a
build daemon whose code comes from Nix (see the manual for details.)

Nix was initially written by Eelco Dolstra; other people have been
contributing to it.  See `nix/AUTHORS' for details.

The fine people listed below have contributed code to GNU Guix (in
alphabetical order):

           Eric Bavier <bavier@member.fsf.org>
  Taylan Ulrich Bayirli/Kammer <taylanbayirli@gmail.com>
          Marek Benc <merkur32@gmail.com>
        Ludovic Courtès <ludo@gnu.org>
           John Darrington <jmd@gnu.org>
        Andreas Enge <andreas@enge.fr>
         Alírio Eyng <alirioeyng@gmail.com>
            Guy Grant <gzg@riseup.net>
         Raimon Grau <raimonster@gmail.com>
         Nikita Karetnikov <nikita@karetnikov.org>
        Aljosha Papsch <misc@rpapsch.de>
        Manolis Ragkousis <manolis837@gmail.com>
          Cyril Roelandt <tipecaml@gmail.com>
           Alex Sassmannshausen <alex.sassmannshausen@gmail.com>
         Cyrill Schenkel <cyrill.schenkel@gmail.com>
          Jason Self <j@jxself.org>
    Sree Harsha Totakura <sreeharsha@totakura.in>
          David Thompson <dthompson2@worcester.edu>
        Mark H. Weaver <mhw@netris.org>
tree/gnu/packages/lean.scm?id=a8f1b52017820c87b9bb38abb42b48d8059688d3'>tree</a><a href='/guix/commit/gnu/packages/lean.scm?id=a8f1b52017820c87b9bb38abb42b48d8059688d3'>commit</a><a href='/guix/diff/gnu/packages/lean.scm?id=a8f1b52017820c87b9bb38abb42b48d8059688d3'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/lean.scm'>
<input type='hidden' name='id' value='a8f1b52017820c87b9bb38abb42b48d8059688d3'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=a8f1b52017820c87b9bb38abb42b48d8059688d3'>root</a>/<a href='/guix/log/gnu?id=a8f1b52017820c87b9bb38abb42b48d8059688d3'>gnu</a>/<a href='/guix/log/gnu/packages?id=a8f1b52017820c87b9bb38abb42b48d8059688d3'>packages</a>/<a href='/guix/log/gnu/packages/lean.scm?id=a8f1b52017820c87b9bb38abb42b48d8059688d3'>lean.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/lean.scm?id=a8f1b52017820c87b9bb38abb42b48d8059688d3&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-03-28 16:30:07 -0400'>2020-03-28</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=c2cf286c62933d2806ae17b8287520820bf87c7e'>Update email address and Savannah handle for Amin Bandali.</a><span class='msg-avail'>...</span></td><td>Amin Bandali</td></tr>
<tr><td><span title='2020-01-17 18:30:33 +0100'>2020-01-17</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=a3143063aeeecb5c02f75a6e1ddc0cc295e0e4f8'>Update email address for Amin Bandali.</a><span class='msg-avail'>...</span></td><td>Amin Bandali</td></tr>
<tr><td><span title='2020-01-03 15:46:53 -0600'>2020-01-03</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=db1bc0d92e4a023d2b22487c324410e8dc4cda1f'>gnu: Add lean.</a><span class='msg-avail'>...</span></td><td>Amin Bandali</td></tr>