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

 (emberian.github.io)

3 points | by cmrx64 6 hours ago

0 comments