aa755msr

Microsoft Research (summer 2015 only)Ithaca, NY, USA

Pinned Repositories

FStar
A Proof-oriented Programming Language
Language:F*2.8k 80 2.1k236

aa755msr's Repositories

aa755msr doesn’t have any repository yet.