This is an approximately 30 minute talk on our extended abstract
"A Short Survey of Weak Reasoning Assistants."
The below links may go stale --- please link to this page instead.
Contact me for additional formats or with any questions.