avigad/lamr avigad/lamr

  • Stars
    star
    81
  • Rank 398,914 (Top 8 %)
  • Language Lean
  • Created about 3 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
avigad/lamr
github

avigad

Reviews

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

Repository Details

Logic and Mechanized Reasoning

More Repositories

1

mathematics_in_lean_source

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

qpf

Datatypes as quotients of polynomial functors
Lean
33
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