Lean Theorem Prover Posted by hamdal on Wednesday February 10, 2016 @12:05PM from the leanprover.github.io dept. https://leanprover.github.io/ ( no comments | 2 points | on HN )
There are no comments yet.