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

xiazeyu / 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 405 Commits
.github/workflows		.github/workflows
Save		Save
assets		assets
code		code
css		css
scripts		scripts
src		src
theme		theme
.DS_Store		.DS_Store
.gitattributes		.gitattributes
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
DMT1.code-workspace.03.21.25.code-workspace		DMT1.code-workspace.03.21.25.code-workspace
LICENSE		LICENSE
Makefile		Makefile
TODO.md		TODO.md
book.toml		book.toml
foo.py		foo.py
make.out		make.out

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.