Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Marek Chalupa
Bubaak

B

Bubaak

Project information

Bubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).

verification Symbolic exe... invariants

+ 4 more

293 Commits
5 Branches
1 Tag

README
MIT License

Created on

November 26, 2021

Copy SSH clone URLgit@gitlab.com:mchalupa/bubaak.git
Copy HTTPS clone URLhttps://gitlab.com/mchalupa/bubaak.git