https://futureofcoding.org/ logo
n

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