CBirkbeck / lean_game Public

generated from mmasdeu/topologygame

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

Dungeons and De Morgan's: The Logic Game

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.github/workflows		.github/workflows
hmtl		hmtl
html		html
html2		html2
html3		html3
locale		locale
src		src
README.md		README.md
game_config.toml		game_config.toml
generate-library.sh		generate-library.sh
leanpkg.path		leanpkg.path
leanpkg.toml		leanpkg.toml

Repository files navigation

Dungeons and De Morgan's: The Logic Game

Learn logic and LEAN!

About

Dungeons and De Morgan's: The Logic Game

Report repository

Releases

No releases published

Packages

No packages published

Languages