Tilman
Hinnerichs
Toggle navigation
about
articles
(current)
publications
repositories
cv
articles
formatting
•
images
•
links
•
math
•
code
•
blockquotes
Demo of Herb.jl: A Fast and Efficient Program Synthesis Library
1 min read · August 24, 2026
2026