donaldkellett profile

#discuss On Humility

Donald Sebastian Leung・Mar 19

chat
Reactions
2 min read
donaldkellett profile

A Gentle Introduction to Curry-Howard Isomorphism

Donald Sebastian Leung・Mar 9

Reactions
12 min read
donaldkellett profile

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

Donald Sebastian Leung・Dec 29 '18

chat
Reactions
7 min read
donaldkellett profile

#discuss An overview of programming languages (opinion)

Donald Sebastian Leung・Dec 26 '18

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・Sep 16 '18

chat
Reactions
6 min read
loading...