#
DIFF.BLOG
New
Following
Discover
Jobs
More
Top Writers
Suggest a blog
Upvotes plugin
Report bug
Contact
About
Sign up
The home for great developer writing.
We surface the best developer writing from thousands of independent blogs, updated daily.
Join Diff.blog
TOPICS
An Intuitionistic Micro Proof Assistant
118
·
·
Aug. 7, 2026, 6:09 p.m.
programming
software development
Interactive Tools
proof assistant
Summary
The author introduces an interactive proof assistant library called 'Knuckledragger', emphasizing its solver-oriented features and inviting developers to explore its functionalities.
Read full post on www.philipzucker.com →
MORE POSTS LIKE THIS
Amiko: A desperate virtue signalling attempt
Ryan Bigg ·
Aug 8, 2026
Open Source
ruby
How not to calculate cosine
John Cook ·
Aug 7, 2026
Computing
Math
Zsh: select files with arbitrary code in (e) or + glob qualifiers
Adamj ·
Aug 7, 2026
posts
zsh
bb: an IDE where your coding agents work together
Flaviocopes ·
Aug 8, 2026
Open Source
IDE
Equivalent crate
Users Rust Lang ·
Aug 4, 2026
programming
software development
Is this a valid way to alias an intrinsic?
Fortran Lang Discourse ·
Aug 5, 2026
programming
software development
Discover more posts →
AUTHOR
RECENT POSTS FROM THE AUTHOR
Choose how you want to continue.
Continue with GitHub
Continue with Google