Keno/InterfaceSpecs.jl
Playground for formal specifications of interfaces in Julia
4 best points · 0 comments · 2 Hacker News posts · 60 GitHub stars · View on GitHub
Hacker News discussions
- Formal specifications and static checking of interfaces in Julia (4 points, 0 comments, by amkkma, 2023-09-22)
- Composable static typing, proofs and formal verification for Julia (2 points, 0 comments, by amkkma, 2023-09-22)