crisperdue/prooftoys crisperdue/prooftoys

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    TypeScript
  • License
    Other
  • Created over 10 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
crisperdue/prooftoys
github

crisperdue

Reviews

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

Repository Details

Interactive, web-based visual math assistant

More Repositories

1

practical-logic

Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
OCaml
6
star
2

mathtoys

Mathtoys assistant for high school algebra
HTML
3
star