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
