avigad/arwm avigad/arwm

  • Stars
    star
    11
  • Rank 1,689,250 (Top 34 %)
  • Language Isabelle
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
avigad/arwm
github

avigad

Reviews

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

Repository Details

Automated Reasoning for the Working Mathematician

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

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