search

cspr-rad / kairos

Apache License 2.0
2 stars 0 forks source link

nixos: add kairos-prover module #128

Closed marijanp closed 2 months ago

marijanp commented 2 months ago

closes #109