Geeks
FStarLang
/
pulse
The Pulse separation logic DSL for F*
Primary Language
F*
Apache License 2.0
Apache-2.0
pulse GitHub
Markdown
Readme
23
Issues
2
Stargazers
3
Watchers
Stargazers
cometkim
Seoul
seanpm2001
Walla Walla Washington, USA, Earth, Milky way, <Universe>