These are chat archives for groupoid/exe

14th
May 2016
Zeit Raffer
@zraffer
May 14 2016 10:15 UTC
бекенд из Lean в С++ в стадии прототипа leanprover/lean#1055
просто пдфка про параллельный язык