https://futureofcoding.org/ logo
k

Kartik Agaram

07/18/2022, 2:54 PM
Following the theme, a neat repo of Coq proofs I just discovered: https://github.com/stepchowfun/proofs I don't know much about this space, but a gateway drug like this might help me get into it.