Keno/InterfaceSpecs.jl
View on GitHub ↗ ★ 59 Julia
Playground for formal specifications of interfaces in Julia
3 mentions on Hacker News by 2 people: 2 stories, 1 comment · first 2023-09-22 · latest 2023-11-19
20082026
-
▲ 4
Formal specifications and static checking of interfaces in Juliastory by amkkma · 2023-09-22 · 0 comments
-
▲ 2
Composable static typing, proofs and formal verification for Juliastory by amkkma · 2023-09-22 · 0 comments