avigad/verification_demo avigad/verification_demo

  • Stars
    star
    3
  • Rank 3,951,768 (Top 79 %)
  • Language Lean
  • License
    Apache License 2.0
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
avigad/verification_demo
github

avigad

Reviews

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

Repository Details

A temporary repository

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

polya

A heuristic procedure for proving inequalities
Python
31
star
5

boole

The Boole Interactive Reasoning Assistant
Python
26
star
6

formal_methods_in_education

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

arwm

Automated Reasoning for the Working Mathematician
Isabelle
11
star
8

isabelle

working directory for Isabelle proof scripts
TeX
5
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