GitHub - UofSC-Fall-2022-Math-300-H01/homework10: Proving properties of functions on paper and in Lean

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.devcontainer		.devcontainer
.github		.github
Functions		Functions
Sets		Sets
_Tests		_Tests
.gitignore		.gitignore
.gitpod.Dockerfile		.gitpod.Dockerfile
.gitpod.yml		.gitpod.yml
Hw10.lean		Hw10.lean
README.md		README.md
lakefile.lean		lakefile.lean
main.pdf		main.pdf
main.tex		main.tex

Repository files navigation

Homework 10

Translate proofs of theorems on functions between pen-and-paper and Lean.

About

Proving properties of functions on paper and in Lean

latex math proofs lean4

Custom properties

Report repository

Languages