FStarLang

FStarLang

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
2.4k Stars
225 Forks
2.4k Watchers

Repositories (1)

FStar FStarLang/FStar F*

A Proof-oriented Programming Language

2.4k