txt.sour.is @< https://niplav.site/twtxt.txt> "introduction to coq continued, now i have learned what the codebase is supposed to do when it's finished"

Join

niplav.site

introduction to coq continued, now i have learned what the codebase is supposed to do when it’s finished

⤋ Read More

Participate

Login to join in on this yarn.