Rare find

FStar. A Proof-oriented Programming Language

github.com/FStarLang/FStar

by

@FStarLang

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.