Free Download (23.21 KB)

F* Formal Verification Type System Dependent Type Proof Assistant PNG

Edit PNG
AI Background Remover
1000x1000
23.21 KB
February 26, 2019
PNG (300 DPI)