#cafeobj — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cafeobj, aggregated by home.social.
-
Long overdue, a new release of CafeOBJ - algebraic specification and verification language - CafeOBJ 1.6.2 released https://www.preining.info/blog/2024/11/cafeobj-1-6-2-released/ #cafeobj #math #logic #verification #formal_methods