Logic and Proof – learning proving with Lean Posted by hexhex on Tuesday August 07, 2018 @01:45PM from the avigad.github.io dept. http://avigad.github.io/logic_and_proof/ ( no comments | on HN )
There are no comments yet.