https://futureofcoding.org/ logo
#linking-together
Title
# linking-together
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