GitHub - chabulhwi/talks: Slides and short notes used for my talks

This is the repository for slides and short notes used for my talks. You are free to reuse the content under the terms of CC BY-SA 4.0.

Directories and files

proof-assistant: Proof assistants.
- lean-prover: The Lean functional programming language and proof assistant.
  - lean-applications: Applications of Lean.
  - mathlib4-porting: Porting Mathlib from Lean 3 to Lean 4.

cultural-policy: South Korea's regulations on producing, distributing, and viewing creative work and pornography.

Name		Name	Last commit message	Last commit date
Latest commit History 76 Commits
cultural-policy		cultural-policy
lean-applications		lean-applications
learn-formal-math		learn-formal-math
mathlib4-porting		mathlib4-porting
proof-assistant		proof-assistant
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
ashcroft-v.-free-speech-coalition.md		ashcroft-v.-free-speech-coalition.md
leanprover-mentorship.md		leanprover-mentorship.md
proof-assistants-applications.md		proof-assistants-applications.md
redefining-child-or-youth-sexual-exploitation-materials.md		redefining-child-or-youth-sexual-exploitation-materials.md
understanding-concept-of-child-or-youth-sexual-exploitation-materials.md		understanding-concept-of-child-or-youth-sexual-exploitation-materials.md