| Mode | Name | Size | |
|---|---|---|---|
| d--------- | coq | 84 | logstatsplain |
| d--------- | easycrypt | 78 | logstatsplain |
| d--------- | ekrhyper | 39 | logstatsplain |
| d--------- | leo2 | 39 | logstatsplain |
| d--------- | rocq-core | 39 | logstatsplain |
| d--------- | tlaplus | 37 | logstatsplain |
| d--------- | why3 | 83 | logstatsplain |
 |
index : nixpkgs | |
| Nixpkgs mirror | NixOS |
| summaryrefslogtreecommitdiffstats |