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

chrisgao99 / dmtl4 Public

forked from kevinsullivan/dmtl4

Notifications You must be signed in to change notification settings
Fork 0
Star 0

DMTL4: Discrete Mathematics and Theory in Lean 4

View license

0 stars 36 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 87 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.