4 ms·
Perhaps Tsoding can live stream porting the Buttplug library to Coq? https://en.wikipedia.org/wiki/Coq https://en.wikipedia.org/wiki/Coq
by reassembled 4y ago
Perhaps Tsoding can live stream porting the Buttplug library to Coq?
https://en.wikipedia.org/wiki/Coq https://en.wikipedia.org/wiki/Coq
- iKlsR 4y agoSurprised nobody has mentioned But_Fu_k.