Skip to content
Navigation menu
Search
Search
Log in
Create account
DEV Community
Close
DEV Community
is a community of 787,331 amazing developers
We're a place where coders share, stay up-to-date and grow their careers.
Create account
Log in
Home
Listings
Podcasts
Videos
Tags
FAQ
DEV Shop
Sponsors
About
Contact
Other
Code of Conduct
Privacy Policy
Terms of use
Twitter
Facebook
Github
Instagram
Twitch
#
discretemath
Follow
Posts
Left menu
đź‘‹
Sign in
for the ability sort posts by
top
and
latest
.
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
112
 reactions
Comments
15
 comments
7 min read
Save
Saved
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
Save
Saved
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
Save
Saved
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
