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 university worksheets/homework assignments/exams.

   TeX 2

3. calculus calculus Public

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

   TeX

4. lamvc lamvc Public

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

   TeX

5. pws pws Public archive

   Profielwerkstuk (research project in secondary school)

   C++

6. fibonacci-heap-rust fibonacci-heap-rust Public

   Unsafe Rust!

   Rust 1