search

cspr-rad / kairos

Apache License 2.0
2 stars 0 forks source link

Create NixOS module for the kairos-prover server #109

Closed marijanp closed 2 months ago

marijanp commented 2 months ago

128