State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
Read OriginalA technical blog post detailing recent progress on the Knuckledragger theorem prover, including kernel modifications, experiments with AI, improved SMT solver support, symbolic union features, assembly verification, and plans for external proof objects and performance improvements.
Comments
No comments yet
Be the first to share your thoughts!
Browser Extension
Get instant access to AllDevBlogs from your browser
Top of the Week
1
The Beautiful Web
Jens Oliver Meiert
•
2 votes
2
Container queries are rad AF!
Chris Ferdinandi
•
2 votes
3
Wagon’s algorithm in Python
John D. Cook
•
1 votes
4
An example conversation with Claude Code
Dumm Zeuch
•
1 votes