Title
#linking-together
Nilesh Trivedi

Nilesh Trivedi

07/18/2022, 9:10 AM
Iā€™m fascinated with this visual proof assistant (although, not quite as powerful yet as Coq/Lean): http://incredible.pm/
šŸ‘ 1
šŸ‘šŸ» 1