Permalink
Switch branches/tags
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
27 lines (26 sloc) 1 KB
{
"alias": "video/732/31-proofcheck-checking-mathematical-proofs-writ",
"category": "PyCon US 2012",
"copyright_text": "",
"description": "",
"duration": null,
"id": 732,
"language": "eng",
"quality_notes": "",
"recorded": "2012-03-11",
"slug": "31-proofcheck-checking-mathematical-proofs-writ",
"speakers": [
"Bob Neveln"
],
"summary": "ProofCheck is a set of Python scripts which parse and check mathematics\nwritten using TeX. Its homepage is www.proofcheck.org. Unlike computer\nproof assistants which require immersion in the equivalent of a\nprogramming language, ProofCheck attempts to handle mathematical\nlanguage formalized according to the author's preferences as much as\npossible.\n",
"tags": [],
"thumbnail_url": "http://img.youtube.com/vi/qLXllxd4Z1c/hqdefault.jpg",
"title": "31. ProofCheck: Checking Mathematical Proofs written in TeX ",
"videos": [
{
"length": 0,
"type": "youtube",
"url": "https://www.youtube.com/watch?v=qLXllxd4Z1c"
}
]
}