Show HN: CakeML-based self-verifying, self-improving system

(emberian.github.io)

3 points | by cmrx64 8 hours ago ago

No comments yet.