avigad/formal_logic

Stars
1
Language Lean
Created about 6 years ago
Updated almost 6 years ago

avigad/formal_logic

avigad

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

A formalization of formal logic in Lean

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

lamr

Logic and Mechanized Reasoning

qpf

Datatypes as quotients of polynomial functors

polya

A heuristic procedure for proving inequalities

boole

The Boole Interactive Reasoning Assistant

formal_methods_in_education

A web page with resources for teaching with formal methods and tools.

arwm

Automated Reasoning for the Working Mathematician

isabelle

working directory for Isabelle proof scripts

verification_demo

A temporary repository

auto

A tableau prover for Lean

qelim

Quantifier elimination by computational reflection in Lean

programming_in_lean

library_dev

Lean standard library (development)