Skip to main content

Blog

A collection of articles on topics related to computer science.

Teaching

— 4 posts
View all
Picture of a butterfly

Can the Collatz conjecture be proven, or not?

What is an education?

What is an education?

Correctness of Two Sorting Algorithms

Correctness of Two Sorting Algorithms

Can ChatGPT do an exam?

Can ChatGPT do an exam?

Technical

— 1 post
View all

Using Coq in the browser: jsCoq