Skip to content
Navigation menu
Search
Search
Log in
Create account
DEV Community π©βπ»π¨βπ»
Close
#
discretemath
Follow
Posts
Left menu
π
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
(Less than) 12 Days of Prolog - A guide + brief review of the Prolog programming language
Donald Sebastian Leung
Donald Sebastian Leung
Donald Sebastian Leung
Follow
Dec 29 '18
(Less than) 12 Days of Prolog - A guide + brief review of the Prolog programming language
#
computerscience
#
discretemath
#
language
#
logic
Reactions
114
Β reactions
Comments
15
Β comments
7 min read
Testing logical equivalences (and more) using Z3 Theorem Prover
Donald Sebastian Leung
Donald Sebastian Leung
Donald Sebastian Leung
Follow
Sep 16 '18
Testing logical equivalences (and more) using Z3 Theorem Prover
#
computerscience
#
discretemath
#
logic
#
smtsolvers
Reactions
33
Β reactions
Comments
1
Β comment
6 min read
Perl Weekly Challenge 14: van Eckβs sequence / Adventures in overthinking- making words from US state initials
Yozen Hernandez
Yozen Hernandez
Yozen Hernandez
Follow
Jun 30 '19
Perl Weekly Challenge 14: van Eckβs sequence / Adventures in overthinking- making words from US state initials
#
perl
#
perlweeklychallenge
#
discretemath
#
datastructures
Reactions
6
Β reactions
Comments
AddΒ Comment
10 min read
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account