58 lines
1003 B
JSON
58 lines
1003 B
JSON
{
|
|
"name": "Proving non-conditional statements",
|
|
"order": 7,
|
|
"challenges": [
|
|
{
|
|
"id": "59a5801209a6acac5983b604",
|
|
"title": "If-and-only-If proof",
|
|
"description": [
|
|
""
|
|
],
|
|
"challengeSeed": [
|
|
""
|
|
],
|
|
"tests": [
|
|
""
|
|
]
|
|
},
|
|
{
|
|
"id": "59a5801209a6acac5983a921",
|
|
"title": "Equivalent statements",
|
|
"description": [
|
|
""
|
|
],
|
|
"challengeSeed": [
|
|
""
|
|
],
|
|
"tests": [
|
|
""
|
|
]
|
|
},
|
|
{
|
|
"id": "59a5801209a6acac5983a922",
|
|
"title": "Existence Proofs; Existence and Uniqueness Proofs",
|
|
"description": [
|
|
""
|
|
],
|
|
"challengeSeed": [
|
|
""
|
|
],
|
|
"tests": [
|
|
""
|
|
]
|
|
},
|
|
{
|
|
"id": "59a5801209a6acac5983a923",
|
|
"title": "Constructive versus non-constructive proofs",
|
|
"description": [
|
|
""
|
|
],
|
|
"challengeSeed": [
|
|
""
|
|
],
|
|
"tests": [
|
|
""
|
|
]
|
|
}
|
|
]
|
|
} |