9 ай бұрынLean Together 2024: Sebastian Ullrich, Are we fast yet? Рет қаралды 506leanprover community 16 0 Жүктеу
Пікірлер