Repositories list

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

  Public
  CSS

  •0•1•0•0•Updated Apr 19, 2023Apr 19, 2023

• notes

  Public
  Lean

  •4•2•0•0•Updated Apr 13, 2023Apr 13, 2023

• quiz_template

  Public template
  Lean

  •0•0•0•0•Updated Feb 23, 2023Feb 23, 2023

• website

  Public
  SCSS

  •

  MIT License

  •0•0•0•0•Updated Feb 13, 2023Feb 13, 2023

• homework04

  Public template
  Some problems on equivalence relations in Lean

  leanequivalence-relations

  Lean

  •0•0•0•0•Updated Feb 9, 2023Feb 9, 2023

• homework03

  Public template
  Predicate logic through relations in Lean

  leanproofs

  Lean

  •0•0•0•0•Updated Feb 2, 2023Feb 2, 2023

• homework_template

  Public template
  Lean

  •0•0•0•0•Updated Feb 2, 2023Feb 2, 2023

• quiz03

  Public template
  Lean

  •0•0•0•0•Updated Feb 2, 2023Feb 2, 2023

• homework02

  Public template
  Writing some propositions and giving some proofs in Lean

  theorem-provinglean

  Lean

  •0•0•0•0•Updated Jan 25, 2023Jan 25, 2023

• homework01

  Public template
  Finding terms for types and decribing functions

  typeslean

  Lean

  •0•0•0•0•Updated Jan 25, 2023Jan 25, 2023

• .github

  Public
  0•0•0•0•Updated Jan 18, 2023Jan 18, 2023

• logical_verification_2022

  Public
  Logical Verification 2022-2023 course at VU Amsterdam

  Lean

  •8•0•0•0•Updated Jan 10, 2023Jan 10, 2023