Transition to Advanced Mathematics

homework0

A short lists of tasks to help get you used to the tools we will use in the course.

codespacetest

homework9

Basic set theory in Lean 4.

UofSC-Fall-2022-Math-300-H01.github.io

Course website for Fall 2022 Transition to Advanced Mathematics at the University of South Carolina.

homework10

Proving properties of functions on paper and in Lean

homework11

Pen-and-paper and Lean proofs involving relations

homework7

Proving formulas in predicate logic with Lean.

jekyll

lean-notes

mathlib

Lean mathematical components library

quiz9

homework1

homework12

Induction, recursion, and the natural numbers

homework2

More proofs in natural deduction and some truth tables

homework3

More with propositional logic

homework4

Basic proofs in propositional logic with Lean

homework5

More proofs of propositional formulas in Lean

homework6

Quantifiers, equality, functions! Proofs in predicate logic.

homework8

Sets and basic operations of them

quizzes