donaldkellett profile

#discussOn Humility

Donald Sebastian Leung・

Reactions
chat
2 min read
donaldkellett profile

A Gentle Introduction to Curry-Howard Isomorphism

Donald Sebastian Leung・

Reactions
12 min read
donaldkellett profile

(Less than) 12 Days of Prolog - A guide + brief review of the Prolog programming language

Donald Sebastian Leung・

Reactions
chat
7 min read
donaldkellett profile

#discussAn overview of programming languages (opinion)

Donald Sebastian Leung・

Reactions
chat
7 min read
donaldkellett profile

Testing logical equivalences (and more) using Z3 Theorem Prover

Donald Sebastian Leung・

Reactions
chat
6 min read
loading...