Author(s):	Bob Neveln
Location	Poster III
Date	mar Sun 11	Days Raw Files
Start	08:30	First Raw Start	14:36
Duration	00:05:00	Offset	6:06:53
End	08:35	Last Raw End	14:39
Chapters	00:00
Total cuts_time	3 min.

http://us.pycon.org/2012/schedule/presentation/515/
raw-playlist raw-mp4-playlist encoded-files-playlist host public mp4 svg png

assets release.pdf 31_ProofCheck_Checking_Mathematical_Proofs_written_in_TeX.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

State:	--------- borked edit encode push to queue post richard review 1 email review 2 make public tweet to-miror conf done
Locked:	clear this to unlock
Locked by:	user/process that locked.
Start:	initially scheduled time from master, adjusted to match reality
Duration:	length in hh:mm:ss
Name:	Video Title (shows in video search results)
Emails:	email(s) of the presenter(s)
Released:	Unknown Yes No has someone authorised pubication
Normalise:
Channelcopy:	m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:	filename.png
Description:	ProofCheck is a set of Python scripts which parse and check mathematics written using TeX. Its homepage is www.proofcheck.org. Unlike computer proof assistants which require immersion in the equivalent of a programming language, ProofCheck attempts to handle mathematical language formalized according to the author's preferences as much as possible. markdown
Comment:	<?xml version='1.0' encoding='UTF-8'?> <ns0:entry xmlns:ns0="http://www.w3.org/2005/Atom" xmlns:ns1="http://schemas.google.com/g/2005" xmlns:ns2="http://search.yahoo.com/mrss/" xmlns:ns3="http://gdata.youtube.com/schemas/2007" xmlns:ns4="http://purl.org/atom/app#"><ns0:category scheme="http://schemas.google.com/g/2005#kind" term="http://gdata.youtube.com/schemas/2007#video" /><ns0:category label="Education" scheme="http://gdata.youtube.com/schemas/2007/categories.cat" term="Education" /><ns0:category scheme="http://gdata.youtube.com/schemas/2007/keywords.cat" term="psf" /><ns0:category scheme="http://gdata.youtube.com/schemas/2007/keywords.cat" term="python pycon pycon2012" /><ns0:category scheme="http://gdata.youtube.com/schemas/2007/keywords.cat" term="pycon_2012" /><ns0:category scheme="http://gdata.youtube.com/schemas/2007/keywords.cat" term="BobNeveln" /><ns0:id>http://gdata.youtube.com/feeds/api/videos/qLXllxd4Z1c</ns0:id><ns0:author><ns0:name>NextDayVideo</ns0:name><ns0:uri>https://gdata.youtube.com/feeds/api/users/NextDayVideo</ns0:uri></ns0:author><ns0:content type="text">Bob Neveln ProofCheck is a set of Python scripts which parse and check mathematics written using TeX. Its homepage is www.proofcheck.org. Unlike computer proof assistants which require immersion in the equivalent of a programming language, ProofChe</ns0:content><ns0:updated>2012-03-14T05:55:27.000Z</ns0:updated><ns0:published>2012-03-14T05:55:27.000Z</ns0:published><ns1:comments><ns1:feedLink countHint="0" href="https://gdata.youtube.com/feeds/api/videos/qLXllxd4Z1c/comments?client=ndv" rel="http://gdata.youtube.com/schemas/2007#comments" /></ns1:comments><ns2:group><ns2:keywords>psf, python pycon pycon2012, pycon_2012, BobNeveln</ns2:keywords><ns2:description type="plain">Bob Neveln ProofCheck is a set of Python scripts which parse and check mathematics written using TeX. Its homepage is www.proofcheck.org. Unlike computer proof assistants which require immersion in the equivalent of a programming language, ProofChe</ns2:description><ns2:title type="plain">31. ProofCheck: Checking Mathematical Proofs written in TeX</ns2:title><ns3:duration seconds="0" /><ns2:content duration="0" expression="full" isDefault="true" medium="video" type="application/x-shockwave-flash" url="https://www.youtube.com/v/qLXllxd4Z1c?version=3&amp;f=user_uploads&amp;c=ndv&amp;d=Aarb2r5skm2_yNTuKEinXdAO88HsQjpE1a8d1GxQnGDm&amp;app=youtube_gdata" ns3:format="5" /><ns2:thumbnail height="360" time="00:00:00" url="http://i.ytimg.com/vi/qLXllxd4Z1c/0.jpg" width="480" /><ns2:thumbnail height="90" time="00:00:00" url="http://i.ytimg.com/vi/qLXllxd4Z1c/1.jpg" width="120" /><ns2:thumbnail height="90" time="00:00:00" url="http://i.ytimg.com/vi/qLXllxd4Z1c/2.jpg" width="120" /><ns2:thumbnail height="90" time="00:00:00" url="http://i.ytimg.com/vi/qLXllxd4Z1c/3.jpg" width="120" /><ns2:category label="Education" scheme="http://gdata.youtube.com/schemas/2007/categories.cat">Education</ns2:category><ns2:category scheme="http://gdata.youtube.com/schemas/2007/developertags.cat">psf</ns2:category><ns2:category scheme="http://gdata.youtube.com/schemas/2007/developertags.cat">python pycon pycon2012</ns2:category><ns2:category scheme="http://gdata.youtube.com/schemas/2007/developertags.cat">pycon_2012</ns2:category><ns2:category scheme="http://gdata.youtube.com/schemas/2007/developertags.cat">BobNeveln</ns2:category><ns2:player url="https://www.youtube.com/watch?v=qLXllxd4Z1c&amp;feature=youtube_gdata_player" /></ns2:group><ns0:title type="text">31. ProofCheck: Checking Mathematical Proofs written in TeX</ns0:title><ns4:control><ns4:draft>yes</ns4:draft><ns3:state name="processing" /></ns4:control><ns0:link href="https://www.youtube.com/watch?v=qLXllxd4Z1c&amp;feature=youtube_gdata" rel="alternate" type="text/html" /><ns0:link href="https://gdata.youtube.com/feeds/api/videos/qLXllxd4Z1c/responses?client=ndv" rel="http://gdata.youtube.com/schemas/2007#video.responses" type="application/atom+xml" /><ns0:link href="https://gdata.youtube.com/feeds/api/videos/qLXllxd4Z1c/ratings?client=ndv" rel="http://gdata.youtube.com/schemas/2007#video.ratings" type="application/atom+xml" /><ns0:link href="https://gdata.youtube.com/feeds/api/videos/qLXllxd4Z1c/complaints?client=ndv" rel="http://gdata.youtube.com/schemas/2007#video.complaints" type="application/atom+xml" /><ns0:link href="https://gdata.youtube.com/feeds/api/videos/qLXllxd4Z1c/related?client=ndv" rel="http://gdata.youtube.com/schemas/2007#video.related" type="application/atom+xml" /><ns0:link href="https://gdata.youtube.com/feeds/api/users/nextdayvideo/uploads/qLXllxd4Z1c?client=ndv" rel="self" type="application/atom+xml" /><ns0:link href="https://gdata.youtube.com/feeds/api/users/nextdayvideo/uploads/qLXllxd4Z1c?client=ndv" rel="edit" type="application/atom+xml" /></ns0:entry> production notes