Skip to content

Add badge and mention Nix and CI#134

Merged
gares merged 1 commit into
math-comp:masterfrom
siraben:readme
Jul 10, 2021
Merged

Add badge and mention Nix and CI#134
gares merged 1 commit into
math-comp:masterfrom
siraben:readme

Commits

Commits on Jul 10, 2021