Giters
Formalization and mathematics (UofSC-Spring-2023-SCHC-411-H01)

Formalization and mathematics

UofSC-Spring-2023-SCHC-411-H01

Geek Repo

Learning about theorem proving through programming and mathematics.

Location:United States of America

Home Page:411.s23.matthewrobertballard.com

Github PK Tool:Github PK Tool

Formalization and mathematics's repositories

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

Language:CSSStargazers:1Issues:0Issues:0

notes

Language:LeanStargazers:2Issues:0Issues:0

quiz_template

Language:LeanStargazers:0Issues:0Issues:0

website

Language:SCSSLicense:MITStargazers:0Issues:0Issues:0

homework04

Some problems on equivalence relations in Lean

Language:LeanStargazers:0Issues:0Issues:0

homework03

Predicate logic through relations in Lean

Language:LeanStargazers:0Issues:0Issues:0

homework_template

Language:LeanStargazers:0Issues:0Issues:0

quiz03

Language:LeanStargazers:0Issues:0Issues:0

homework02

Writing some propositions and giving some proofs in Lean

Language:LeanStargazers:0Issues:0Issues:0

homework01

Finding terms for types and decribing functions

Language:LeanStargazers:0Issues:0Issues:0

.github

Stargazers:0Issues:0Issues:0

logical_verification_2022

Logical Verification 2022-2023 course at VU Amsterdam

Language:LeanStargazers:0Issues:0Issues:0