GitHub - skaslev/proofs-talk: Code and slides from the talk "Introduction to Theorem Proving in Lean"

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
images		images
balanced.hs		balanced.hs
build.sh		build.sh
fix.hs		fix.hs
fvextra.sty		fvextra.sty
minted.sty		minted.sty
proofs-after.lean		proofs-after.lean
proofs-before.lean		proofs-before.lean
proofs.pdf		proofs.pdf
proofs.tex		proofs.tex