Skip to main content
Hans-Dieter Hiep

Hans-Dieter Hiep

— 21 posts published
Amsterdam, the Netherlands
November 2023

Formulas

— Propositional logic
November 2023

Reynolds' logic

November 2023

Separation logic

November 2023

Object-oriented programming

November 2023

Functional programming

November 2023

Dynamic logic

November 2023

Procedural programming

November 2023

Hoare's logic

November 2023

Imperative programming

November 2023

Data types

November 2023

Arithmetic

November 2023

First-order logic

November 2023

Propositional logic

November 2023

Technical Feasibility Study

— Q4 2023
November 2023

Ideas and Vision

— Q3 2023
November 2023

Using Coq in the browser: jsCoq

— Technical
November 2023

Can the Collatz conjecture be proven, or not?

— Teaching
May 2023

What is an education?

— Teaching
March 2023

Correctness of Two Sorting Algorithms

— Teaching
February 2023

Can ChatGPT do an exam?

— Teaching