3 ms·

which ones ? would like to watch them. thanks in advance

• throw567643u8 9mo ago
  - Open source security in spite of AI. - Formal verification in Rocq, an exhaustive testing.