avigad/qpf avigad/qpf

  • Stars
    star
    33
  • Rank 781,260 (Top 16 %)
  • Language Lean
  • License
    Apache License 2.0
  • Created almost 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
avigad/qpf
github

avigad

Reviews

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

Repository Details

Datatypes as quotients of polynomial functors

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

polya

A heuristic procedure for proving inequalities
Python
31
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