/guix-formal-verification

Formal verification meets Guix.

Primary LanguageScheme

This repository is not active