Giters

UofSC-Fall-2022-Math-300-H01 / homework7

Proving formulas in predicate logic with Lean.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lean4predicate-logicproofsmath

Homework 7

Make Lean accept your proofs for the problems.

About

Proving formulas in predicate logic with Lean.

lean4predicate-logicproofsmath

Languages

Language:Lean 79.4%Language:Dockerfile 20.6%