shaobo-he/handbook-of-practical-logic-and-automated-reasoning-in-racket shaobo-he/handbook-of-practical-logic-and-automated-reasoning-in-racket

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Racket
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
shaobo-he/handbook-of-practical-logic-and-automated-reasoning-in-racket
github

shaobo-he

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

sls

OL1V3R: Reimplementation of "Stochastic Local Search for Satisfiability Modulo Theories" in Racket (probably with support of FP)
Racket
2
star
2

leetcode.hs

Selected leetcode problem solutions in Functional Programming Languages
Racket
2
star
3

ct-fuzz-artifact

Python
1
star