Development of a Verified, Efficient Checker for SAT Proofs

Here are the latest slides for this talk:

Without pauses (best for viewing in a web browser)
With pauses (best for viewing as a slide presentation)

Here are slides for this talk as presented in the UT ACL2 Seminar on 2/3/2017.
NOTE: These are superseded by the slides above.

Without pauses (best for viewing in a web browser)
With pauses (best for viewing as a slide presentation)

NOTE: There is also an upcoming ITP paper on this work; a preliminary version is available on the web.