Show HN: Let formal specs test AI implementations

1 points | by mrasu 7 hours ago