crisperdue/practical-logic crisperdue/practical-logic

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    OCaml
  • License
    Other
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
crisperdue/practical-logic
github

crisperdue

Reviews

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

Repository Details

Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

More Repositories

1

prooftoys

Interactive, web-based visual math assistant
TypeScript
9
star
2

mathtoys

Mathtoys assistant for high school algebra
HTML
3
star