Skip to content
@UofSC-Fall-2022-Math-300-H01

Transition to Advanced Mathematics

Introduction to mathematical thought @ UofSC

Popular repositories Loading

  1. homework0 homework0 Public template

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

    TeX 2 1

  2. UofSC-Fall-2022-Math-300-H01.github.io 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 1 1

  3. homework9 homework9 Public template

    Basic set theory in Lean 4.

    Lean 1 1

  4. codespacetest codespacetest Public

    Dockerfile 1

  5. jekyll jekyll Public

    SCSS

  6. homework1 homework1 Public template

    TeX 1

Repositories

Showing 10 of 20 repositories
  • UofSC-Fall-2022-Math-300-H01.github.io Public

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

    UofSC-Fall-2022-Math-300-H01/UofSC-Fall-2022-Math-300-H01.github.io’s past year of commit activity
    HTML 1 MIT 1 0 0 Updated Dec 2, 2022
  • jekyll Public
    UofSC-Fall-2022-Math-300-H01/jekyll’s past year of commit activity
    SCSS 0 MIT 0 0 0 Updated Dec 2, 2022
  • quizzes Public
    UofSC-Fall-2022-Math-300-H01/quizzes’s past year of commit activity
    TeX 0 1 0 0 Updated Nov 28, 2022
  • homework12 Public template

    Induction, recursion, and the natural numbers

    UofSC-Fall-2022-Math-300-H01/homework12’s past year of commit activity
    TeX 0 0 0 0 Updated Nov 10, 2022
  • homework11 Public template

    Pen-and-paper and Lean proofs involving relations

    UofSC-Fall-2022-Math-300-H01/homework11’s past year of commit activity
    Lean 0 0 0 0 Updated Nov 1, 2022
  • homework10 Public template

    Proving properties of functions on paper and in Lean

    UofSC-Fall-2022-Math-300-H01/homework10’s past year of commit activity
    Lean 0 0 0 0 Updated Oct 28, 2022
  • lean-notes Public
    UofSC-Fall-2022-Math-300-H01/lean-notes’s past year of commit activity
    Lean 0 0 0 0 Updated Oct 21, 2022
  • quiz9 Public template
    UofSC-Fall-2022-Math-300-H01/quiz9’s past year of commit activity
    Lean 0 0 0 0 Updated Oct 21, 2022
  • codespacetest Public
    UofSC-Fall-2022-Math-300-H01/codespacetest’s past year of commit activity
    Dockerfile 1 0 0 0 Updated Oct 20, 2022
  • mathlib Public Forked from leanprover-community/mathlib3

    Lean mathematical components library

    UofSC-Fall-2022-Math-300-H01/mathlib’s past year of commit activity
    Lean 0 Apache-2.0 302 0 0 Updated Oct 20, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…