Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
Follow
User actions
burhanarif472-lgtm
404 bio not found
Joined
Joined on
Oct 23, 2026
github website
More info about @burhanarif472lgtm
Post
1 post published
Comment
0 comments written
Tag
0 tags followed
I built FixProof to verify whether AI-generated bug fixes are actually proven
burhanarif472-lgtm
burhanarif472-lgtm
burhanarif472-lgtm
Follow
Oct 23
I built FixProof to verify whether AI-generated bug fixes are actually proven
#
showdev
#
opensource
#
ai
#
testing
Comments
Add Comment
2 min read
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
