donaldkellett profile

#discussOn Humility

Donald Sebastian Leung・

chat
Reactions
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・

chat
Reactions
7 min read
donaldkellett profile

#discussAn overview of programming languages (opinion)

Donald Sebastian Leung・

chat
Reactions
7 min read

Need more relevant posts?
Sign in to customize your feed:

donaldkellett profile

Testing logical equivalences (and more) using Z3 Theorem Prover

Donald Sebastian Leung・

chat
Reactions
6 min read
loading...