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": [
|
|
""
|
|
]
|
|
}
|
|
]
|
|
} |