assertive.base (Q110798)
From MaRDI portal
A Lightweight Core of the 'assertive' Package
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | assertive.base |
A Lightweight Core of the 'assertive' Package |
Statements
8 February 2021
0 references
