| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Oid | 118 | logplain |
| d--------- | acl2 | 289 | logplain |
| d--------- | cipi | 119 | logplain |
| d--------- | flocq | 125 | logplain |
| d--------- | frama-c | 155 | logplain |
| d--------- | freefem++ | 126 | logplain |
| d--------- | gap | 153 | logplain |
| d--------- | gappa | 168 | logplain |
| d--------- | gappalib-coq | 129 | logplain |
| d--------- | giac | 156 | logplain |
| d--------- | libsfmt | 124 | logplain |
| d--------- | lie | 152 | logplain |
| d--------- | ltl2ba | 121 | logplain |
| d--------- | netgen | 205 | logplain |
| d--------- | open-axiom | 137 | logplain |
| d--------- | pulp | 119 | logplain |
| d--------- | ripser | 153 | logplain |
| d--------- | scilab | 249 | logplain |
| d--------- | why3 | 121 | logplain |
GitWeb