ParentFull threadreassembled·Perhaps Tsoding can live stream porting the Buttplug library to Coq?https://en.wikipedia.org/wiki/CoqView on HN