GitHub - kevinsullivan/dmtl4: DMTL4: Discrete Mathematics and Theory in Lean 4

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 96 Commits
.github/workflows		.github/workflows
assets		assets
code		code
css		css
scripts		scripts
src		src
theme		theme
.DS_Store		.DS_Store
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
book.toml		book.toml
deleteme		deleteme

Repository files navigation

# License

Copyright (c) 2024 Kevin Sullivan. All Rights Reserved.
Kindly let me know if you're interested in using this 
material, so that at least for a time I can track level
of interest. Thank you for accommodating this request.