Repositories list

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

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

  HTML

  •

  MIT License

  •1•1•0•0•Updated Dec 2, 2022Dec 2, 2022

• jekyll

  Public
  SCSS

  •

  MIT License

  •0•0•0•0•Updated Dec 2, 2022Dec 2, 2022

• quizzes

  Public
  TeX

  •1•0•0•0•Updated Nov 28, 2022Nov 28, 2022

• homework12

  Public template
  Induction, recursion, and the natural numbers

  latexmathproof+ 4recursionnatural-numbersinductionlean4

  TeX

  •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

• homework11

  Public template
  Pen-and-paper and Lean proofs involving relations

  latexmathproof+ 2relationslean4

  Lean

  •0•0•0•0•Updated Nov 1, 2022Nov 1, 2022

• homework10

  Public template
  Proving properties of functions on paper and in Lean

  latexmathproofs+ 1lean4

  Lean

  •0•0•0•0•Updated Oct 28, 2022Oct 28, 2022

• lean-notes

  Public
  Lean

  •0•0•0•0•Updated Oct 21, 2022Oct 21, 2022

• quiz9

  Public template
  Lean

  •0•0•0•0•Updated Oct 21, 2022Oct 21, 2022

• codespacetest

  Public
  Dockerfile

  •0•1•0•0•Updated Oct 20, 2022Oct 20, 2022

• mathlib

  Public
  Lean mathematical components library

  Lean

  •

  Apache License 2.0

  •298•0•0•0•Updated Oct 20, 2022Oct 20, 2022

• homework7

  Public template
  Proving formulas in predicate logic with Lean.

  mathproofspredicate-logic+ 1lean4

  Lean

  •0•0•0•0•Updated Oct 18, 2022Oct 18, 2022

• homework9

  Public template
  Basic set theory in Lean 4.

  mathset-theorylean4

  Lean

  •1•1•0•0•Updated Oct 18, 2022Oct 18, 2022

• homework8

  Public template
  Sets and basic operations of them

  latexmathset-theory

  TeX

  •0•0•0•0•Updated Oct 11, 2022Oct 11, 2022

• homework5

  Public template
  More proofs of propositional formulas in Lean

  mathlogiclean4

  Lean

  •0•0•0•0•Updated Oct 3, 2022Oct 3, 2022

• homework6

  Public template
  Quantifiers, equality, functions! Proofs in predicate logic.

  latexmathlogic

  TeX

  •0•0•0•0•Updated Oct 3, 2022Oct 3, 2022

• homework4

  Public template
  Basic proofs in propositional logic with Lean

  mathlogiclean4

  Lean

  •0•0•0•0•Updated Sep 29, 2022Sep 29, 2022

• homework3

  Public template
  More with propositional logic

  latexmathlogic

  TeX

  •0•0•0•0•Updated Sep 29, 2022Sep 29, 2022

• homework2

  Public template
  More proofs in natural deduction and some truth tables

  latexmathlogic

  TeX

  •0•0•0•0•Updated Sep 29, 2022Sep 29, 2022

• homework1

  Public template
  TeX

  •1•0•0•0•Updated Sep 29, 2022Sep 29, 2022

• homework0

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

  latexmathproof+ 1lean4

  TeX

  •1•2•0•0•Updated Sep 29, 2022Sep 29, 2022