Discrete

Some Discrete Mathematics propositions proven in Lean4.

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
.vscode		.vscode
Discrete		Discrete
Math		Math
Test		Test
Work		Work
other		other
.gitignore		.gitignore
Discrete.lean		Discrete.lean
Main.lean		Main.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
note.txt		note.txt
questions.txt		questions.txt

Provide feedback