Open source repositories tagged with #formal-specification, ranked by health score.
🌀 Inference programming language
