avigad / polyaLinks
A heuristic procedure for proving inequalities
☆33Updated 6 years ago
Alternatives and similar repositories for polya
Users that are interested in polya are comparing it to the libraries listed below
Sorting:
- Algebraic Combinatorics in Coq☆38Updated 4 months ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆35Updated this week
- A (formalised) general definition of type theories☆57Updated 3 years ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- ☆31Updated last year
- ☆46Updated 2 years ago
- Partial Commutative Monoids☆28Updated last month
- HoTT in Lean 3☆80Updated 4 years ago
- WIP collections library for Lean 4☆32Updated 3 weeks ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Lean 4 as a scripting language in Houdini☆20Updated last year
- IO for Gallina☆34Updated 3 months ago
- Implementation of Nuprl's type theory in Coq☆45Updated 6 months ago
- Formalization of Linear Logic in Coq☆16Updated last month
- A Coq library providing tactics to deal with hypothesis☆21Updated 5 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- A proof of Abel-Ruffini theorem.☆29Updated 2 months ago
- A fornalisation of Grobner basis in ssreflect☆12Updated 5 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Research material of Erik Palmgren (1963–2019)☆20Updated last month
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆61Updated 10 months ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 3 years ago
- ☆13Updated 3 years ago
- ☆14Updated 4 years ago