boogie-org / boogie
git clone https://github.com/boogie-org/boogie.git
Boogie
+2
stars, 24h · #11,636
+2
stars, 7 days · #36,119
+~8
stars, 30 days · #41,808
608
★ total · +0% this week
129
forks · 48 open issues
Star history (as recorded here)
LanguageBoogie
LicenseMIT
Created2015-04-01 (11y ago)
Last pushtoday
OwnerOrganization
Links
- GitHub: github.com/boogie-org/boogie
- Homepage: http://research.microsoft.com/en-us/projects/boogie/
- Releases · Issues · Hacker News mentions
README
Loading README…