Jumping the licensing shark

Posted Mar 25, 2023 23:41 UTC (Sat) by amarao (guest, #87073)
Parent article: Jumping the licensing shark

Can we adopt something like coq for formal licence verification? In this case the actual text will be a simple sound artifact with completely based on input thesises.