Pinned Loading

1. fitch-proof fitch-proof Public

   Educational tool to verify Fitch style natural deduction proofs.

   Rust 3 1

2. exercises.cls exercises.cls Public

   LaTeX class for worksheets/homework assignments/exams.

   TeX 2

3. progr-assgt.cls progr-assgt.cls Public

   LaTeX class for programming assignments (and other things)

   TeX 1

4. fibonacci-heap-rust fibonacci-heap-rust Public

   Unsafe Rust!

   Rust 1

5. calculus calculus Public

   Slides for the (single-variable) Calculus support lecture organized by S.V. Cover.

   TeX

6. lamvc lamvc Public

   Slides for the Multivariable Calculus support lecture organized by S.V. Cover.

   TeX