8 ай бұрынLean Together 2024: Leonidas Lampropoulos, Property based testing in Coq Рет қаралды 220leanprover community 5 0 Жүктеу
Пікірлер: 1