eprover
|
Легенда:
|
| alpha | amd64 | arm | hppa | ia64 | m68k | mips | ppc | ppc64 | s390 | sh | sparc | x86 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 3.0_pre008 | - | ~ | - | - | - | - | - | - | - | - | - | - | ~ |
USE флаги
- ho - enable support for higher-order logic
Экспортировать в Atom
|
Легенда:
|
| alpha | amd64 | arm | hppa | ia64 | m68k | mips | ppc | ppc64 | s390 | sh | sparc | x86 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 3.0_pre008 | - | ~ | - | - | - | - | - | - | - | - | - | - | ~ |
Экспортировать в Atom