ended7월 27일· 1 sources
Xavier Leroy on programming, languages and formal verification
Why it matters
© 2026 Google LLC, Sundar Pichai, 1600 Amphitheatre Parkway, Mountain View CA 94043, USA, 0807-882-594 (무료), [email protected], 호스팅: Google LLC, 사업자정보, 불법촬영물 신고크리에이터들이 유튜브 상에 게시, 태그 또...
1
Sources
+0
24h
—
Growth
6d
Active