Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Henrik Böving
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Tue 26 Aug 2025
Name:
Henrik Böving
Affiliation:
Lean FRO
GitHub:
https://github.com/hargoniX
Contributions
2025
SPLASH
Author of Interactive Bit Vector Reasoning using Verified Bitblasting within the OOPSLA-track
Share
x
Wed 24 Sep 02:58
