Skip to content
@UofSC-Spring-2023-SCHC-411-H01

Formalization and mathematics

Learning about theorem proving through programming and mathematics.
README.md

Proofs and programs

This is the organization for the University of South Carolina Spring 2023 Honors College course on formalization and mathematics.

Popular repositories Loading

  1. notes notes Public

    Lean 2 4

  2. uofsc-spring-2023-schc-411-h01.github.io uofsc-spring-2023-schc-411-h01.github.io Public

    CSS 1

  3. website website Public

    SCSS

  4. logical_verification_2022 logical_verification_2022 Public

    Forked from blanchette/logical_verification_2022

    Logical Verification 2022-2023 course at VU Amsterdam

    Lean

  5. homework01 homework01 Public template

    Finding terms for types and decribing functions

    Lean

  6. .github .github Public

Repositories

Showing 10 of 12 repositories
  • uofsc-spring-2023-schc-411-h01.github.io Public
    UofSC-Spring-2023-SCHC-411-H01/uofsc-spring-2023-schc-411-h01.github.io’s past year of commit activity
    CSS 1 0 0 0 Updated Apr 19, 2023
  • notes Public
    UofSC-Spring-2023-SCHC-411-H01/notes’s past year of commit activity
    Lean 2 4 0 0 Updated Apr 13, 2023
  • quiz_template Public template
    UofSC-Spring-2023-SCHC-411-H01/quiz_template’s past year of commit activity
    Lean 0 0 0 0 Updated Feb 23, 2023
  • website Public
    UofSC-Spring-2023-SCHC-411-H01/website’s past year of commit activity
    SCSS 0 MIT 0 0 0 Updated Feb 13, 2023
  • homework04 Public template

    Some problems on equivalence relations in Lean

    UofSC-Spring-2023-SCHC-411-H01/homework04’s past year of commit activity
    Lean 0 0 0 0 Updated Feb 9, 2023
  • homework03 Public template

    Predicate logic through relations in Lean

    UofSC-Spring-2023-SCHC-411-H01/homework03’s past year of commit activity
    Lean 0 0 0 0 Updated Feb 2, 2023
  • homework_template Public template
    UofSC-Spring-2023-SCHC-411-H01/homework_template’s past year of commit activity
    Lean 0 0 0 0 Updated Feb 2, 2023
  • quiz03 Public template
    UofSC-Spring-2023-SCHC-411-H01/quiz03’s past year of commit activity
    Lean 0 0 0 0 Updated Feb 2, 2023
  • homework02 Public template

    Writing some propositions and giving some proofs in Lean

    UofSC-Spring-2023-SCHC-411-H01/homework02’s past year of commit activity
    Lean 0 0 0 0 Updated Jan 25, 2023
  • homework01 Public template

    Finding terms for types and decribing functions

    UofSC-Spring-2023-SCHC-411-H01/homework01’s past year of commit activity
    Lean 0 0 0 0 Updated Jan 25, 2023
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…