Coq file format (Q128775907)
Jump to navigation
Jump to search
file format
- Coq file
Language | Label | Description | Also known as |
---|---|---|---|
English | Coq file format |
file format |
|
Statements
1 reference
text/x-coq
1 reference
v
1 reference