xgqt@riseup.net Maciej Barć The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research. https://github.com/leanprover-community/lean/issues leanprover-community/lean Enable JSON support