Learn mathematical logic with Lean theorem prover Posted by VitalyAnkh on Saturday November 21, 2020 @03:50PM from the leanprover.github.io dept. http://leanprover.github.io/logic_and_proof/index.html ( no comments | 4 points | on HN )
There are no comments yet.