45 lines
766 B
JSON
45 lines
766 B
JSON
|
{
|
||
|
"name": "Proof by Contradiction",
|
||
|
"order": 6,
|
||
|
"challenges": [
|
||
|
{
|
||
|
"id": "59a5801209a6acac5983b603",
|
||
|
"title": "Proving statements with contradiction",
|
||
|
"description": [
|
||
|
""
|
||
|
],
|
||
|
"challengeSeed": [
|
||
|
""
|
||
|
],
|
||
|
"tests": [
|
||
|
""
|
||
|
]
|
||
|
},
|
||
|
{
|
||
|
"id": "59a5801209a6acac5983a918",
|
||
|
"title": "Proving conditional statements by contradiction",
|
||
|
"description": [
|
||
|
""
|
||
|
],
|
||
|
"challengeSeed": [
|
||
|
""
|
||
|
],
|
||
|
"tests": [
|
||
|
""
|
||
|
]
|
||
|
},
|
||
|
{
|
||
|
"id": "59a5801209a6acac5983a919",
|
||
|
"title": "Combining techniques",
|
||
|
"description": [
|
||
|
""
|
||
|
],
|
||
|
"challengeSeed": [
|
||
|
""
|
||
|
],
|
||
|
"tests": [
|
||
|
""
|
||
|
]
|
||
|
}
|
||
|
]
|
||
|
}
|