A heuristic procedure for proving inequalities
☆34Sep 4, 2018Updated 7 years ago
Alternatives and similar repositories for polya
Users that are interested in polya are comparing it to the libraries listed below
Sorting:
- The Boole Interactive Reasoning Assistant☆30May 9, 2014Updated 11 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- PRolog Equation Solving System☆29Sep 2, 2016Updated 9 years ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Zurich Morphological Lexicon for German: a tool to extract a morphological lexicon from Wiktionary☆12Aug 10, 2023Updated 2 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Jun 10, 2021Updated 4 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- System-on-a-Chip for FPGA, with xr16 RISC core and LCC port☆12Jul 23, 2017Updated 8 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Updated this week
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- Partial Commutative Monoids☆32Feb 18, 2026Updated last week
- A compiler for the Algol W programming language.☆15Jul 13, 2025Updated 7 months ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- Topochecker, a topological model checker☆19Nov 19, 2019Updated 6 years ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- concise functionless functional esolang☆14Jan 18, 2026Updated last month
- Sin, cos, tan, asin... polyfills for when cross browser consistency is desired.☆16Aug 6, 2021Updated 4 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago