magmide/magmide Issues
Thoughts on Frama C?
Closed 4Building the community
Closed 4Avoid Sisyphus trap
Closed 2Research debt for contributors
Closed 1Please add a donate button
Closed 1Can you evaluate ATS?
Closed 1Great project
Closed 2Enable github discussions?
Closed 1Comparison with TLA+
Closed 4consider name?
Closed 8