avigad/polya avigad/polya

  • Stars
    star
    31
  • Rank 817,312 (Top 17 %)
  • Language
    Python
  • Created about 11 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
avigad/polya
github

avigad

Reviews

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

Repository Details

A heuristic procedure for proving inequalities

More Repositories

1

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.
Lean
81
star
2

lamr

Logic and Mechanized Reasoning
Lean
81
star
3

qpf

Datatypes as quotients of polynomial functors
Lean
33
star
4

boole

The Boole Interactive Reasoning Assistant
Python
26
star
5

formal_methods_in_education

A web page with resources for teaching with formal methods and tools.
Ruby
13
star
6

arwm

Automated Reasoning for the Working Mathematician
Isabelle
11
star
7

isabelle

working directory for Isabelle proof scripts
TeX
5
star
8

verification_demo

A temporary repository
Lean
3
star
9

auto

A tableau prover for Lean
Lean
2
star
10

qelim

Quantifier elimination by computational reflection in Lean
Lean
2
star
11

programming_in_lean

TeX
1
star
12

library_dev

Lean standard library (development)
Lean
1
star
13

formal_logic

A formalization of formal logic in Lean
Lean
1
star