Blog
September 2026 update
Steady progress towards fully type-checked machine-check.
Posted 2026-09-06 by Jan Onderka ‐ 2 min read
New sibling tools: Roole & Roolean
Putting technology from machine-check into use in SMT solvers.
Posted 2026-07-04 by Jan Onderka ‐ 6 min read
2026 plans
Making system descriptions and Graphical User Interface nicer to use.
Posted 2026-04-29 by Jan Onderka ‐ 4 min read
2025 end-of-year digest
Improvements in all areas, but still more to be done.
Posted 2025-12-18 by Jan Onderka ‐ 5 min read