Formalization and mathematics

Learning about theorem proving through programming and mathematics.

United States of America

Pinned Repositories

.github
00
homework01
Finding terms for types and decribing functions
Language:Lean00
homework02
Writing some propositions and giving some proofs in Lean
Language:Lean00
homework03
Predicate logic through relations in Lean
Language:Lean00
homework_template
Language:Lean00
logical_verification_2022
Logical Verification 2022-2023 course at VU Amsterdam
Language:Lean00
notes
Language:Lean24
quiz03
Language:Lean00
quiz_template
Language:Lean00
uofsc-spring-2023-schc-411-h01.github.io
Language:CSS10

Formalization and mathematics's Repositories

UofSC-Spring-2023-SCHC-411-H01/notes
Language:Lean24
UofSC-Spring-2023-SCHC-411-H01/uofsc-spring-2023-schc-411-h01.github.io
Language:CSS10
UofSC-Spring-2023-SCHC-411-H01/.github
00
UofSC-Spring-2023-SCHC-411-H01/homework01
Finding terms for types and decribing functions
Language:Lean00
UofSC-Spring-2023-SCHC-411-H01/homework02
Writing some propositions and giving some proofs in Lean
Language:Lean00
UofSC-Spring-2023-SCHC-411-H01/homework03
Predicate logic through relations in Lean
Language:Lean00
UofSC-Spring-2023-SCHC-411-H01/homework_template
Language:Lean00
UofSC-Spring-2023-SCHC-411-H01/logical_verification_2022
Logical Verification 2022-2023 course at VU Amsterdam
Language:Lean00
UofSC-Spring-2023-SCHC-411-H01/quiz03
Language:Lean00
UofSC-Spring-2023-SCHC-411-H01/quiz_template
Language:Lean00
UofSC-Spring-2023-SCHC-411-H01/homework04
Some problems on equivalence relations in Lean
Language:Lean0 0
UofSC-Spring-2023-SCHC-411-H01/website
Language:SCSS