Skip to main content
Hans-Dieter Hiep
Home
Courses
Blog
About
Quick search...
⌘K
/
Home
Courses
Blog
About
Blog
A collection of articles on topics related to computer science.
Teaching
—
3 posts
View all
What is an education?
May 06, 2023
Correctness of Two Sorting Algorithms
March 15, 2023
Can ChatGPT do an exam?
February 23, 2023
Research
—
1 post
View all
Can the Collatz conjecture be proven, or not?
November 01, 2023
Technical
—
1 post
View all
Using Coq in the browser: jsCoq
November 08, 2023