Lean Posted by davidfoster on Sunday February 09, 2020 @10:42AM from the leanprover.github.io dept. https://leanprover.github.io/ ( no comments | 3 points | on HN )
There are no comments yet.