https://github.com/baguette/lemma https://github.com/baguette/lemma I've unfortunately let it languish for the last few years, but I'm about to pick back up a

https://github.com/baguette/lemma https://github.com/baguette/lemma I've unfortunately let it languish for the last few years, but I'm about to pick back up a bit for the 2016 Lisp Summer Game Jam. I've got a handful of big, backward-compat-breaking changes in the queue, but it should start to stabilize again within a couple of weeks.